[ubuntu/mantic-proposed] coqeal 1.1.1-3build4 (Accepted)

[Gianfranco Costamagna]

coqeal (1.1.1-3build4) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Tue, 13 Jun 2023 10:46:11 +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/coqeal/1.1.1-3build4
-------------- next part --------------
Format: 1.8
Date: Tue, 13 Jun 2023 10:46:11 +0200
Source: coqeal
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.1-3build4
Distribution: mantic
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coqeal (1.1.1-3build4) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 749f6c28c4f13c98d89bcb59ceeb9773742229a7 2157 coqeal_1.1.1-3build4.dsc
 54b88c34cc511d833493560454418158354c3d93 2276 coqeal_1.1.1-3build4.debian.tar.xz
 98b5f801ba49930b5a733f097db06560fd5070f4 7187 coqeal_1.1.1-3build4_source.buildinfo
Checksums-Sha256:
 56b492598d3c514670edfdc2dd1adf623216c0447fb03ca33aba65586f484adf 2157 coqeal_1.1.1-3build4.dsc
 967ef0845ddfa6625b79a337f91124deefc1e23f4f22f1d99a0ac9e091112481 2276 coqeal_1.1.1-3build4.debian.tar.xz
 4a9e5b552b2276aca04bcc8b6ee441990bbeabbaea04c1724f4911b13ae3182f 7187 coqeal_1.1.1-3build4_source.buildinfo
Files:
 9b21785d030129d004f1f5b91add4b15 2157 ocaml optional coqeal_1.1.1-3build4.dsc
 c7535ba5a32041e9085d1cbcb49081ed 2276 ocaml optional coqeal_1.1.1-3build4.debian.tar.xz
 19018c97b9897360d77e8e7d7eca8b44 7187 ocaml optional coqeal_1.1.1-3build4_source.buildinfo