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

[Jeremy Bícha]

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

  * Rebuild against latest coq

Date: Tue, 18 Feb 2025 20:54:51 -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.20.1-1build3
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Feb 2025 20:54:51 -0500
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.1-1build3
Distribution: plucky
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.20.1-1build3) plucky; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 9dd82868efb6af9cf7626a66fbebfcde52869d30 2165 coqprime_8.20.1-1build3.dsc
 7ad9aa42dbe6154bd55007e4b7c502aea7b16b88 3608 coqprime_8.20.1-1build3.debian.tar.xz
 de9aa9d2823be028b10b987edd441f56deb21807 7026 coqprime_8.20.1-1build3_source.buildinfo
Checksums-Sha256:
 86dd78535a2a9707019d8c40b4a0d28ff21786bb0d287bc85762e4e39e2aec48 2165 coqprime_8.20.1-1build3.dsc
 d3dce514f7d7209e0e994d24794a0c1d632eecf5b17f912a50c5e41eea8c4b4c 3608 coqprime_8.20.1-1build3.debian.tar.xz
 e9426d4638c7fc77b39b729ebbb118796e6dd2b7b457d808d4933c43c670c0c4 7026 coqprime_8.20.1-1build3_source.buildinfo
Files:
 107b5efe7d8ccae5cab26a3f34c150db 2165 ocaml optional coqprime_8.20.1-1build3.dsc
 7dc5981c0d1cb8767f3aca900586329c 3608 ocaml optional coqprime_8.20.1-1build3.debian.tar.xz
 b6f91114860c6e90077c2eafd143e7bc 7026 ocaml optional coqprime_8.20.1-1build3_source.buildinfo