[ubuntu/plucky-proposed] paramcoq 1.1.3+coq8.20-1build2 (Accepted)

[Gianfranco Costamagna]

paramcoq (1.1.3+coq8.20-1build2) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 14 Feb 2025 00:39:40 +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/paramcoq/1.1.3+coq8.20-1build2
-------------- next part --------------
Format: 1.8
Date: Fri, 14 Feb 2025 00:39:40 +0100
Source: paramcoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3+coq8.20-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:
 paramcoq (1.1.3+coq8.20-1build2) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 22260bba0eda064de9bc40859d8c143dbf9b6e86 2110 paramcoq_1.1.3+coq8.20-1build2.dsc
 7d3c7066464139b7c2d1f9d673fc473f6fb32f33 3344 paramcoq_1.1.3+coq8.20-1build2.debian.tar.xz
 c8e82e5bf05d76a70d5fe827cae45455c4bd24d2 7323 paramcoq_1.1.3+coq8.20-1build2_source.buildinfo
Checksums-Sha256:
 32ebb6eef1d371b351e4ae49bb14e24897bb1ad85321ae0d3389ff6e8573a8ca 2110 paramcoq_1.1.3+coq8.20-1build2.dsc
 90195af716f3b62daae3dc94615be262c07c9a69c47f9139093a54706f6700d4 3344 paramcoq_1.1.3+coq8.20-1build2.debian.tar.xz
 c1444c6fe437cf0ec5ecac767e03a31634eb6f57130edff2cb2ad810ae045e8d 7323 paramcoq_1.1.3+coq8.20-1build2_source.buildinfo
Files:
 8624a337abe7e1ac591bde89e5de16c9 2110 ocaml optional paramcoq_1.1.3+coq8.20-1build2.dsc
 af0b6dff119e13929a3c7f32b19d7e8c 3344 ocaml optional paramcoq_1.1.3+coq8.20-1build2.debian.tar.xz
 ecdb99ba15d0aa7bfbac3f387546143c 7323 ocaml optional paramcoq_1.1.3+coq8.20-1build2_source.buildinfo