[ubuntu/lunar-proposed] paramcoq 1.1.3+coq8.16-2build2 (Accepted)

[Gianfranco Costamagna]

paramcoq (1.1.3+coq8.16-2build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sat, 03 Dec 2022 10:47:05 +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.16-2build2
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Dec 2022 10:47:05 +0100
Source: paramcoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3+coq8.16-2build2
Distribution: lunar
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.16-2build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 2bbb320ffabca3205272d31ca7e323c3a166214a 2105 paramcoq_1.1.3+coq8.16-2build2.dsc
 da85093161f4ed24f7e05ba4cbd8fd4b4d3ee92c 2940 paramcoq_1.1.3+coq8.16-2build2.debian.tar.xz
 9514b783373b319408c473dc8ca1569c49c9784f 7907 paramcoq_1.1.3+coq8.16-2build2_source.buildinfo
Checksums-Sha256:
 5aa29423cfb7d12a75f131726e8bedb7a25f8287352a92189238a860b08c9518 2105 paramcoq_1.1.3+coq8.16-2build2.dsc
 3e1898656e4215a8835f35fd08b21af33f21752eddf02361160bc7473ddb7038 2940 paramcoq_1.1.3+coq8.16-2build2.debian.tar.xz
 d2626fbe9e5769836fd4fd4c793a6aa38354126454b97309d0d4ac806569e4c6 7907 paramcoq_1.1.3+coq8.16-2build2_source.buildinfo
Files:
 9679acd2240d96fbf0d886fa4ba018bd 2105 ocaml optional paramcoq_1.1.3+coq8.16-2build2.dsc
 62450d42736db3c2ad730deadb1d3652 2940 ocaml optional paramcoq_1.1.3+coq8.16-2build2.debian.tar.xz
 bd3da0382c0573da3adaeaf0a4e31b58 7907 ocaml optional paramcoq_1.1.3+coq8.16-2build2_source.buildinfo