[ubuntu/plucky-proposed] coqprime 8.20.1-1build4 (Accepted)

[Gianfranco Costamagna]

coqprime (8.20.1-1build4) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 19 Feb 2025 08:18:57 +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/coqprime/8.20.1-1build4
-------------- next part --------------
Format: 1.8
Date: Wed, 19 Feb 2025 08:18:57 +0100
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.1-1build4
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coqprime (8.20.1-1build4) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 5e190112f8314803da9da935cb304a65134d1116 2165 coqprime_8.20.1-1build4.dsc
 3db7796937aaa2727a8430b8bfe0b147a76fef58 3624 coqprime_8.20.1-1build4.debian.tar.xz
 3293f6e103f5f892ffe696ff4f3ac17279a135b1 7295 coqprime_8.20.1-1build4_source.buildinfo
Checksums-Sha256:
 6412a8bdb55b937f42fe47107f3ffe33fdfb341b6ccf7e2456968e4be78afb73 2165 coqprime_8.20.1-1build4.dsc
 7f3eab893efdeac77a9bed7146da8712e14ae88c75a2d4535a6ffcdbc204638d 3624 coqprime_8.20.1-1build4.debian.tar.xz
 f1bfbf6921f96f7a51159016c9c39abd60b9869e767b3c119d4b22dc601afb92 7295 coqprime_8.20.1-1build4_source.buildinfo
Files:
 a89498d244a88210ae8f07a4f0c7bc0b 2165 ocaml optional coqprime_8.20.1-1build4.dsc
 db4efae98bdc864b3ecff34fae8eb670 3624 ocaml optional coqprime_8.20.1-1build4.debian.tar.xz
 35c93cccf74806799dd8a1ff0c358fe2 7295 ocaml optional coqprime_8.20.1-1build4_source.buildinfo