[ubuntu/oracular-proposed] coq-gappa 1.5.5-1build2 (Accepted)

[Gianfranco Costamagna]

coq-gappa (1.5.5-1build2) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 13 May 2024 20:22:59 +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/coq-gappa/1.5.5-1build2
-------------- next part --------------
Format: 1.8
Date: Mon, 13 May 2024 20:22:59 +0200
Source: coq-gappa
Built-For-Profiles: noudeb
Architecture: source
Version: 1.5.5-1build2
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-gappa (1.5.5-1build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 73c4128775f055932df3bb57676f7d4ffd79a4ea 2072 coq-gappa_1.5.5-1build2.dsc
 382d91a862a9821a50d6261804631f0ddc7fd060 2296 coq-gappa_1.5.5-1build2.debian.tar.xz
 08504332133e3bdb13b26aaef144076911563889 7803 coq-gappa_1.5.5-1build2_source.buildinfo
Checksums-Sha256:
 b298bee962237e2f5f39933708e331a98782d87d1da526754321b2614445a710 2072 coq-gappa_1.5.5-1build2.dsc
 078a93084adc3ef3f710256e7a6eb8ae77180d22457229a22cb9cec05ca4c21c 2296 coq-gappa_1.5.5-1build2.debian.tar.xz
 a842003d131536ac4ac5b77db9e7a5a43b3a1f09a860952ae311508a62f773aa 7803 coq-gappa_1.5.5-1build2_source.buildinfo
Files:
 f9200d0d8f65c97e248ec417ed562c3b 2072 math optional coq-gappa_1.5.5-1build2.dsc
 0f2476a09a5ac6bb2ec2663a5c653938 2296 math optional coq-gappa_1.5.5-1build2.debian.tar.xz
 5948a7c6257b081a06a91496e5124142 7803 math optional coq-gappa_1.5.5-1build2_source.buildinfo