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

[Jeremy Bícha]

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

  * Rebuild against latest coq

Date: Sat, 23 Dec 2023 07:23:24 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coqprime/8.17-1build4
-------------- next part --------------
Format: 1.8
Date: Sat, 23 Dec 2023 07:23:24 -0500
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 8.17-1build4
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coqprime (8.17-1build4) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 a1245374f1cd61709de38214a485b0ce3f8c98be 2148 coqprime_8.17-1build4.dsc
 bc365e1da03b6eb9cda4ae22d3cdc88f44655069 3312 coqprime_8.17-1build4.debian.tar.xz
 e577cf9a4385cf094e5cd7461b071fc5d1384b96 7252 coqprime_8.17-1build4_source.buildinfo
Checksums-Sha256:
 23c66aee199c30e587f0a28630b7db3caa0914ea0fae89e02ff73d0b41fdf1e9 2148 coqprime_8.17-1build4.dsc
 4956f71e6f47304940f8848ea97fc585e6b3b47ccf4172ec3c3d203ffedf0d38 3312 coqprime_8.17-1build4.debian.tar.xz
 bb4535853d6f696983c3b1328682ceb5c729225b75633c02ad78b439839569e5 7252 coqprime_8.17-1build4_source.buildinfo
Files:
 05d389cd2d5ed7b16421273bb3b147a7 2148 ocaml optional coqprime_8.17-1build4.dsc
 93a32d27d7e144d1b97ac17d36b70ebe 3312 ocaml optional coqprime_8.17-1build4.debian.tar.xz
 c1f47fe83945338dfaefeaa6f080a82e 7252 ocaml optional coqprime_8.17-1build4_source.buildinfo