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

[Gianfranco Costamagna]

paramcoq (1.1.3+coq8.17-2build1) noble; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Mon, 06 Nov 2023 17:14:22 +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.17-2build1
-------------- next part --------------
Format: 1.8
Date: Mon, 06 Nov 2023 17:14:22 +0100
Source: paramcoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3+coq8.17-2build1
Distribution: noble
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.17-2build1) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 55f54d91c621e12ea641a5b1d106237dd20023c9 2110 paramcoq_1.1.3+coq8.17-2build1.dsc
 1cc4035fcba7be61aef4eaf17300be94a2f300f2 3112 paramcoq_1.1.3+coq8.17-2build1.debian.tar.xz
 edf1bbd00ac092219f53caef093eed4a1802587e 7832 paramcoq_1.1.3+coq8.17-2build1_source.buildinfo
Checksums-Sha256:
 79de6e031aaaef15e99e6b3bedef71ef9de35f3166b146e7209de13cda69ce9b 2110 paramcoq_1.1.3+coq8.17-2build1.dsc
 e3e200f1c65bfdd37d2d576ea81d56f60ffba80d800d89ad275f02bc308c0a8a 3112 paramcoq_1.1.3+coq8.17-2build1.debian.tar.xz
 dd3715cc8ed382b51a79a69a264d4ea37c3e5c837c75e8fad709775484475db5 7832 paramcoq_1.1.3+coq8.17-2build1_source.buildinfo
Files:
 e835aad707243c9727622d64378ff4b3 2110 ocaml optional paramcoq_1.1.3+coq8.17-2build1.dsc
 1d1ca345fce7c35c0243dd5131a16560 3112 ocaml optional paramcoq_1.1.3+coq8.17-2build1.debian.tar.xz
 b40546063d7dca9194b02cfcd40a6037 7832 ocaml optional paramcoq_1.1.3+coq8.17-2build1_source.buildinfo