[ubuntu/noble-proposed] coq-interval 4.8.0-1build2 (Accepted)

[Gianfranco Costamagna]

coq-interval (4.8.0-1build2) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:44:11 +0100
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-interval/4.8.0-1build2
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:44:11 +0100
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.8.0-1build2
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-interval (4.8.0-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 a04056f6a2922d71f9b93552b152a9e3da2ceffc 2186 coq-interval_4.8.0-1build2.dsc
 2f27c286022abc5e7d401d8094b2a18e72814f1d 8920 coq-interval_4.8.0-1build2.debian.tar.xz
 ec47fda2c7828b49c818a65e9753cc1a7b9e8581 7816 coq-interval_4.8.0-1build2_source.buildinfo
Checksums-Sha256:
 dda86fe58cc66e80f52255c945c48b881e41d3d3205a2957f44b77882ac08df4 2186 coq-interval_4.8.0-1build2.dsc
 cadb9d58c192f3b1d833d156ac465e5525eb5b9879e0de4f13c1d1092e49bef9 8920 coq-interval_4.8.0-1build2.debian.tar.xz
 8f832b2a2b24d044f842812241d2cf7b31e4eec590a916dcf38643711c6b42aa 7816 coq-interval_4.8.0-1build2_source.buildinfo
Files:
 21acf3b07a09561c107610d31ccf4963 2186 ocaml optional coq-interval_4.8.0-1build2.dsc
 5ccc584922693e2bce2c2f9d1951260c 8920 ocaml optional coq-interval_4.8.0-1build2.debian.tar.xz
 d47e8d22f51de6f9e68acd389d8e0dd6 7816 ocaml optional coq-interval_4.8.0-1build2_source.buildinfo