[ubuntu/noble-proposed] coqprime 8.17-1build3 (Accepted)

[Gianfranco Costamagna]

coqprime (8.17-1build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:45:09 +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.17-1build3
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:45:09 +0100
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 8.17-1build3
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coqprime (8.17-1build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 44f0472e73f8d979cdca58f6ce5be5fddf9dbeda 2148 coqprime_8.17-1build3.dsc
 e6b9609d11954381f2e1a62e26e703f748268a4e 3256 coqprime_8.17-1build3.debian.tar.xz
 2429a18b87fe4639c407ee0a3dcf28d914866b29 7796 coqprime_8.17-1build3_source.buildinfo
Checksums-Sha256:
 61b80e7158a2c180f004d68aead9c751fb7a4f5b6f42a512fc13d6aa39747372 2148 coqprime_8.17-1build3.dsc
 938d229877fcdc5f2850eb0e279815e539a7e47a9a7773a6dd74786d6e888d00 3256 coqprime_8.17-1build3.debian.tar.xz
 fe4f6a0b352edcde52c3c0ec9a9225a12686352e0671344705fbc1af37807d88 7796 coqprime_8.17-1build3_source.buildinfo
Files:
 7d24248a441807e730744115e3da3ea7 2148 ocaml optional coqprime_8.17-1build3.dsc
 b3df4dd1e84cf944868e949c5559d061 3256 ocaml optional coqprime_8.17-1build3.debian.tar.xz
 47baaf209a0f059aa37b83c8e32c8a8f 7796 ocaml optional coqprime_8.17-1build3_source.buildinfo