[ubuntu/mantic-proposed] coq-interval 4.7.0-1build1 (Accepted)

[Gianfranco Costamagna]

coq-interval (4.7.0-1build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Mon, 24 Jul 2023 19:09:20 +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-interval/4.7.0-1build1
-------------- next part --------------
Format: 1.8
Date: Mon, 24 Jul 2023 19:09:20 +0200
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.7.0-1build1
Distribution: mantic
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.7.0-1build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 109646eae91c053dc0fc7efa63f255936c05e38f 2186 coq-interval_4.7.0-1build1.dsc
 4a4aa14952bff0e1b98542cc094a1bcc2903de0c 8880 coq-interval_4.7.0-1build1.debian.tar.xz
 5caaa34856747dcbfce008e38a24fd1552484cd9 7790 coq-interval_4.7.0-1build1_source.buildinfo
Checksums-Sha256:
 78e5180507dabfaac2a2f0af14f5bd0e3154d47fdd16725c3942335cab85c23f 2186 coq-interval_4.7.0-1build1.dsc
 60aead6dbf87dd70a442cc22a010ac3248150a2f60d6c80e6420acbc4b947389 8880 coq-interval_4.7.0-1build1.debian.tar.xz
 291825231950eb07b783ac2dc7a9b8b53ba852698a8e3b528a8ad1d176abff5c 7790 coq-interval_4.7.0-1build1_source.buildinfo
Files:
 1cdb7f357f3660e738bf95f4985f5568 2186 ocaml optional coq-interval_4.7.0-1build1.dsc
 b3713a289300539311711886933ef83e 8880 ocaml optional coq-interval_4.7.0-1build1.debian.tar.xz
 87aad217e41a3e2bf49ab74b0b057801 7790 ocaml optional coq-interval_4.7.0-1build1_source.buildinfo