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

[Jeremy Bícha]

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

  * Rebuild against latest ocaml

Date: Sat, 01 Feb 2025 20:22:42 -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-1build1
-------------- next part --------------
Format: 1.8
Date: Sat, 01 Feb 2025 20:22:42 -0500
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.1-1build1
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-1build1) plucky; urgency=medium
 .
   * Rebuild against latest ocaml
Checksums-Sha1:
 01bcde315085778a495a34af8f350feb846528f5 2165 coqprime_8.20.1-1build1.dsc
 c6b69cea1d3987d7f6a44c6aee9a0d30f613a788 3536 coqprime_8.20.1-1build1.debian.tar.xz
 057d6f4fce49df10fbb3245f796b000f38f31c92 7050 coqprime_8.20.1-1build1_source.buildinfo
Checksums-Sha256:
 fa4490325b3838a58d71a6cedc07dd0c1ce02b33e79aef0ba7977e2948e3d1df 2165 coqprime_8.20.1-1build1.dsc
 41bf418bcf0013439b135c17767ff215cc62f98f0205063fc3fd661aab03689c 3536 coqprime_8.20.1-1build1.debian.tar.xz
 d8c96980b07f8e579d760cb743e9855baa25aeda2204710bce73c27f34050e46 7050 coqprime_8.20.1-1build1_source.buildinfo
Files:
 e18c8412aacb03d58160f4d0c57cb807 2165 ocaml optional coqprime_8.20.1-1build1.dsc
 e507d1d92fa568a20692b60d9c8b03f9 3536 ocaml optional coqprime_8.20.1-1build1.debian.tar.xz
 1e8e675c718a743636becf0d42ccd782 7050 ocaml optional coqprime_8.20.1-1build1_source.buildinfo