[ubuntu/noble-proposed] coq-iris 4.1.0-1build3 (Accepted)

[Gianfranco Costamagna]

coq-iris (4.1.0-1build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 08 Apr 2024 09:17:45 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-iris/4.1.0-1build3
-------------- next part --------------
Format: 1.8
Date: Mon, 08 Apr 2024 09:17:45 +0200
Source: coq-iris
Built-For-Profiles: noudeb
Architecture: source
Version: 4.1.0-1build3
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-iris (4.1.0-1build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 042bf5df4cd3dc0ef37fd12fd078e27988bf65a5 2240 coq-iris_4.1.0-1build3.dsc
 e396242f7680b37fb1d7ad663b860ba3004e800d 12280 coq-iris_4.1.0-1build3.debian.tar.xz
 be8cd21455bf8cf457b23fbcf2e9f18fcc36a66d 10915 coq-iris_4.1.0-1build3_source.buildinfo
Checksums-Sha256:
 310d6702e4d281e8bac4c047177b2623eff3e1adaa3b55b406fb740f3bc555bb 2240 coq-iris_4.1.0-1build3.dsc
 351423172029d2df62ced1d1a65620f9045ee12d4c3f088f06c75ab8bbbc170b 12280 coq-iris_4.1.0-1build3.debian.tar.xz
 120fa9fb1e737d1b7e855bf40cec19a28f1e4523ee5a4df8d4fb49c45890867c 10915 coq-iris_4.1.0-1build3_source.buildinfo
Files:
 755eaa40ef95b669a0c5c67ed52ffff8 2240 ocaml optional coq-iris_4.1.0-1build3.dsc
 7dbc476c87d200397d7d400fe6910aa2 12280 ocaml optional coq-iris_4.1.0-1build3.debian.tar.xz
 abce8481c38e5175433f6c3d3b616b31 10915 ocaml optional coq-iris_4.1.0-1build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>