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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 14 Feb 2025 00:47:48 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Fri, 14 Feb 2025 00:47:48 +0100
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.1-1build2
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-1build2) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 66f634d059b7d847904ce5e9b6edfe4547ea4fea 2165 coqprime_8.20.1-1build2.dsc
 a0e2fc455155fb00e5e8a79f50e5a47b879a48f3 3596 coqprime_8.20.1-1build2.debian.tar.xz
 015f32fc9272a4681cd9b41dabc84153d81809e8 7295 coqprime_8.20.1-1build2_source.buildinfo
Checksums-Sha256:
 2f35910dd105c017eb970a87f7b3397c0e3661eac7d87f2f1f8a9128f49fa68c 2165 coqprime_8.20.1-1build2.dsc
 5e737cf1f3aa75299f1f9129611cf9dbe31aabfc6a53a07f287f77d81c13694e 3596 coqprime_8.20.1-1build2.debian.tar.xz
 d73a1c606590219521028416bfb35d85ab0a6ee6e4faf42a24aea9db714385fe 7295 coqprime_8.20.1-1build2_source.buildinfo
Files:
 ae4ada0e973b54317d69461f29571ea7 2165 ocaml optional coqprime_8.20.1-1build2.dsc
 5bb3844d7223e06a73d16696e6c282b6 3596 ocaml optional coqprime_8.20.1-1build2.debian.tar.xz
 cc177efe57729c60079ad599f77b2c4e 7295 ocaml optional coqprime_8.20.1-1build2_source.buildinfo