[ubuntu/oracular-proposed] coq-iris 4.2.0-1build1 (Accepted)

[Gianfranco Costamagna]

coq-iris (4.2.0-1build1) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 02 May 2024 22:12:51 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-iris/4.2.0-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 02 May 2024 22:12:51 +0200
Source: coq-iris
Built-For-Profiles: noudeb
Architecture: source
Version: 4.2.0-1build1
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-iris (4.2.0-1build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 c13e3070004a3e71118131a181221aef00c8a0a4 2161 coq-iris_4.2.0-1build1.dsc
 09882743521ac56c0ff5bce745e50e0cd0c6c295 12176 coq-iris_4.2.0-1build1.debian.tar.xz
 e8efe3eddabe6cc28953191c66d7e45bbe3fb13f 10915 coq-iris_4.2.0-1build1_source.buildinfo
Checksums-Sha256:
 7ceb18eb758e6fba8e67a63e2527898e81b4d704623643ed7f5f4ae5e0ec7e18 2161 coq-iris_4.2.0-1build1.dsc
 500a9f40e742abd008a247a0f0c4c133e7332ec2cd426e023fff7ceec8985b56 12176 coq-iris_4.2.0-1build1.debian.tar.xz
 8ab3971ea7d2ec54976e5a7aaca0728b2fa6f3aa77319cf59664d9daa49b06d3 10915 coq-iris_4.2.0-1build1_source.buildinfo
Files:
 e7ab3c1d3584735a7ed0dc9ad58a32b0 2161 ocaml optional coq-iris_4.2.0-1build1.dsc
 27b7da56f596acc15ebd8fbbc466767b 12176 ocaml optional coq-iris_4.2.0-1build1.debian.tar.xz
 47cc9f0647af18c6a90cac2336d3604c 10915 ocaml optional coq-iris_4.2.0-1build1_source.buildinfo