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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sat, 15 Jun 2024 16:38:01 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Sat, 15 Jun 2024 16:38:01 +0200
Source: coq-iris
Built-For-Profiles: noudeb
Architecture: source
Version: 4.2.0-2build1
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-2build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 ff3595a7c2a9d7b609285939f8ac776e5b833b6b 2161 coq-iris_4.2.0-2build1.dsc
 97cf93f28042d7f69d3c2963834723a38d4a890e 12560 coq-iris_4.2.0-2build1.debian.tar.xz
 771f79b06d8ccfc1d0aaaee38d514f7c7324e63a 10915 coq-iris_4.2.0-2build1_source.buildinfo
Checksums-Sha256:
 bda577d75c0eacf87d234f60948214df592e0622e9e5455dfe46a23d1dd2facb 2161 coq-iris_4.2.0-2build1.dsc
 b0c04e89e8a625f0a2c3f0b78f25808cb0ef4cc4426977fe71ff4aefc50a57d6 12560 coq-iris_4.2.0-2build1.debian.tar.xz
 0b4d8916a7750716265f3cc3ccdf82dd1c60abdb1e0c82d7d4fb4d5d43cbb60e 10915 coq-iris_4.2.0-2build1_source.buildinfo
Files:
 1dc91d866b8f2c9bd307224fa530c705 2161 ocaml optional coq-iris_4.2.0-2build1.dsc
 507c55ca3dcbc7b8e2ddd1122135dcc7 12560 ocaml optional coq-iris_4.2.0-2build1.debian.tar.xz
 5ae32f811bbe659dc52b72f3e4345879 10915 ocaml optional coq-iris_4.2.0-2build1_source.buildinfo