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

[Gianfranco Costamagna]

paramcoq (1.1.3+coq8.20-1build4) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 20 Jun 2025 13:29:30 +0200
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-1build4
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Jun 2025 13:29:30 +0200
Source: paramcoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3+coq8.20-1build4
Distribution: questing
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-1build4) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 89581919079b42a4175d46e19d19ae3829528074 2110 paramcoq_1.1.3+coq8.20-1build4.dsc
 0a729c174fee736a78842618d85043ac4b40e974 3412 paramcoq_1.1.3+coq8.20-1build4.debian.tar.xz
 08bcb094ad5fd859ac76fd081df21d1fa93e7872 6886 paramcoq_1.1.3+coq8.20-1build4_source.buildinfo
Checksums-Sha256:
 2e2e05acaeae73e9fb55d6811be378a4b3a60985e0c459a3c4fecb0e6e58d688 2110 paramcoq_1.1.3+coq8.20-1build4.dsc
 652adff978308647d0a585a241082ad145f6b93fdc6bb76f048a8de20e7de209 3412 paramcoq_1.1.3+coq8.20-1build4.debian.tar.xz
 183933f2d8a5162eb6ce7a545ae8831842feee6d2600ced82ecd29eda1d83b15 6886 paramcoq_1.1.3+coq8.20-1build4_source.buildinfo
Files:
 29c14e7ccf66bb0417b2049fccc9d537 2110 ocaml optional paramcoq_1.1.3+coq8.20-1build4.dsc
 398fd0b71514f4e678e42b25ca81d4e1 3412 ocaml optional paramcoq_1.1.3+coq8.20-1build4.debian.tar.xz
 361710e504a1e666554b9037e0b7073e 6886 ocaml optional paramcoq_1.1.3+coq8.20-1build4_source.buildinfo