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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Fri, 25 Nov 2022 12:13:23 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 12:13:23 +0100
Source: paramcoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3+coq8.16-2build1
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-2build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 bf0a91b8964d5af19590d44453a693a1d6987718 2105 paramcoq_1.1.3+coq8.16-2build1.dsc
 5ba61f775cb6a08fc85611daff201b9cfe6085a5 2924 paramcoq_1.1.3+coq8.16-2build1.debian.tar.xz
 7d226eaf61813bb7faefb27c609615e15422c84d 7905 paramcoq_1.1.3+coq8.16-2build1_source.buildinfo
Checksums-Sha256:
 bb03c44e65653df3fe419a084bc76a4e879300d4b79c00a887bad92f9ed5b743 2105 paramcoq_1.1.3+coq8.16-2build1.dsc
 cabba28b31dfbfc0f7df54b61ab5024df4d08391d2ea86151110b25de4065d5d 2924 paramcoq_1.1.3+coq8.16-2build1.debian.tar.xz
 c08cd279699ea9e189f15450e151d6264efce6621daf007b4a525e7b0027f2d0 7905 paramcoq_1.1.3+coq8.16-2build1_source.buildinfo
Files:
 e4d7b7dae803043882aab5deb7013283 2105 ocaml optional paramcoq_1.1.3+coq8.16-2build1.dsc
 7329c9d008da5963a56cbda2c578982b 2924 ocaml optional paramcoq_1.1.3+coq8.16-2build1.debian.tar.xz
 3a0a50acd75e6d2f6578b7f0ac65d5eb 7905 ocaml optional paramcoq_1.1.3+coq8.16-2build1_source.buildinfo