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

[Gianfranco Costamagna]

paramcoq (1.1.3+coq8.19-2build1) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Wed, 21 Aug 2024 10:08:20 +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.19-2build1
-------------- next part --------------
Format: 1.8
Date: Wed, 21 Aug 2024 10:08:20 +0200
Source: paramcoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3+coq8.19-2build1
Distribution: oracular
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.19-2build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 6fb51a6df7ad91099d49844ea777fe916e15ced9 2110 paramcoq_1.1.3+coq8.19-2build1.dsc
 60d11e3b58ab225b6dc5c3b2913ffb101490dca7 3244 paramcoq_1.1.3+coq8.19-2build1.debian.tar.xz
 1b00ab4b908cc1b50e8e9997b5e6840778ff9a03 7876 paramcoq_1.1.3+coq8.19-2build1_source.buildinfo
Checksums-Sha256:
 91ea9ee7a32cc27d10d21c02a48810b10e34ceaa778e529854aecfb1de7f5b11 2110 paramcoq_1.1.3+coq8.19-2build1.dsc
 31099f31439387abdc9718fe2c16104d90c56431ca84acd81909367831902413 3244 paramcoq_1.1.3+coq8.19-2build1.debian.tar.xz
 412e2f106560824df7b057ac7d0c68703e8a13e3f8d9b49c5483dfb5d064fedc 7876 paramcoq_1.1.3+coq8.19-2build1_source.buildinfo
Files:
 7e414f61bb727dbf94078c0ee958b84a 2110 ocaml optional paramcoq_1.1.3+coq8.19-2build1.dsc
 bfc6c1213aeef71a9af72513309d5147 3244 ocaml optional paramcoq_1.1.3+coq8.19-2build1.debian.tar.xz
 3af3cae4670b8f7a3b381a2bb6294b6d 7876 ocaml optional paramcoq_1.1.3+coq8.19-2build1_source.buildinfo