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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 13 May 2024 20:23:17 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Mon, 13 May 2024 20:23:17 +0200
Source: coq-iris
Built-For-Profiles: noudeb
Architecture: source
Version: 4.2.0-1build2
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-1build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 87883b85181d6cdd332e33175fd2c9a140ce3875 2161 coq-iris_4.2.0-1build2.dsc
 369dde9d19e2fefc32d94b90bc16096811f96444 12208 coq-iris_4.2.0-1build2.debian.tar.xz
 6ed197bc667dd31cd36ff4976c133419a2ddee4e 10915 coq-iris_4.2.0-1build2_source.buildinfo
Checksums-Sha256:
 10a553bea9c56b32cadede30601c08e0a86c77c955eacbafd70e8fc22691c407 2161 coq-iris_4.2.0-1build2.dsc
 1627e213e2160b3719b2774d99eea534aeadaf5163ff36cf6155d84435745435 12208 coq-iris_4.2.0-1build2.debian.tar.xz
 976f79ae2d6d08af206389ac680660b15f73676d350d8a1ab0d46a0d36aa0694 10915 coq-iris_4.2.0-1build2_source.buildinfo
Files:
 985c7abfeac17ed90ebf152c81d444c5 2161 ocaml optional coq-iris_4.2.0-1build2.dsc
 29581ddd59029fa3ebfa2f7fa690b3b5 12208 ocaml optional coq-iris_4.2.0-1build2.debian.tar.xz
 ed74e6eb8cc9a83dac0a3bc39d754f00 10915 ocaml optional coq-iris_4.2.0-1build2_source.buildinfo