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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sat, 15 Jun 2024 16:36:48 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Sat, 15 Jun 2024 16:36:48 +0200
Source: paramcoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3+coq8.19-1build1
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-1build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 f9962a50c8165ab3fdb0d1a2fd0c1f1ea93fdc18 2110 paramcoq_1.1.3+coq8.19-1build1.dsc
 1f238f68359b02adcccac390f49290e42b62bf35 3168 paramcoq_1.1.3+coq8.19-1build1.debian.tar.xz
 1e5e4536e46c0eefd098d5585c060e97ab7cec27 7852 paramcoq_1.1.3+coq8.19-1build1_source.buildinfo
Checksums-Sha256:
 50f65ab6248bd81efbd95a9eb76b1a4d939979cae94bd91169b4c43ca35d5e86 2110 paramcoq_1.1.3+coq8.19-1build1.dsc
 cb8670c454fc2c3cb20101e3a2abe6260a15b08cccd274f4f602d78fdd75cc6c 3168 paramcoq_1.1.3+coq8.19-1build1.debian.tar.xz
 e807324c316431a184ef2ec9d6e1dd50e2d409341e4f8c97fed39773355237cc 7852 paramcoq_1.1.3+coq8.19-1build1_source.buildinfo
Files:
 09a5acc772d5dc64f162b67db620982a 2110 ocaml optional paramcoq_1.1.3+coq8.19-1build1.dsc
 900523d00513b5e66fb9f7f7b077a7d6 3168 ocaml optional paramcoq_1.1.3+coq8.19-1build1.debian.tar.xz
 2d6220bbc8c5e4ce8508edbfeed98b5d 7852 ocaml optional paramcoq_1.1.3+coq8.19-1build1_source.buildinfo