[ubuntu/mantic-proposed] coq-interval 4.6.1-2build4 (Accepted)

[Gianfranco Costamagna]

coq-interval (4.6.1-2build4) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Tue, 13 Jun 2023 10:44:15 +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.6.1-2build4
-------------- next part --------------
Format: 1.8
Date: Tue, 13 Jun 2023 10:44:15 +0200
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.6.1-2build4
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.6.1-2build4) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 2b3d3a1176f438cde185a86714452bc04fc8751e 2186 coq-interval_4.6.1-2build4.dsc
 7f3f45e2f5b9f50a156afd4740381fa1839d6700 8888 coq-interval_4.6.1-2build4.debian.tar.xz
 691f62fe559da5c9a852ab9e36f90d3b32d1b512 7211 coq-interval_4.6.1-2build4_source.buildinfo
Checksums-Sha256:
 76eb867a487c74f2733f6e0a2b357c82b65e69bdbfc7027074b8ee6ed140a3cb 2186 coq-interval_4.6.1-2build4.dsc
 e563f91252bbee0a46ccc8f5e3c02db607b64c4648b0ae6d7caf40d200418ba8 8888 coq-interval_4.6.1-2build4.debian.tar.xz
 52131fde0a6a6c6144257e8c238eacb50359a8b653019f49c8e0be0699328fa8 7211 coq-interval_4.6.1-2build4_source.buildinfo
Files:
 3512480c1fe1bbb3c8942dac0b8c49bc 2186 ocaml optional coq-interval_4.6.1-2build4.dsc
 2b9b4b12766313dda8e28c0b059fff9f 8888 ocaml optional coq-interval_4.6.1-2build4.debian.tar.xz
 8a9bfc4663c5528c02acc1c1a634b777 7211 ocaml optional coq-interval_4.6.1-2build4_source.buildinfo