[ubuntu/oracular-proposed] coq-gappa 1.5.5-2build1 (Accepted)

[Gianfranco Costamagna]

coq-gappa (1.5.5-2build1) oracular; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 15 Aug 2024 08:40:17 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 15 Aug 2024 08:40:17 +0200
Source: coq-gappa
Built-For-Profiles: noudeb
Architecture: source
Version: 1.5.5-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:
 coq-gappa (1.5.5-2build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 5a1ee9bfbd4c16e153bb1f2509425a09fe0cf7c4 2082 coq-gappa_1.5.5-2build1.dsc
 d2f1703c2aaf30e8a12148d91be469a9dfa124e1 2412 coq-gappa_1.5.5-2build1.debian.tar.xz
 f38a10fb928cda9edc9df855f8daa8c465e09d42 7848 coq-gappa_1.5.5-2build1_source.buildinfo
Checksums-Sha256:
 5db6b9e5972e488f17f6adef5a28723ca27b9617592d3b4ea9559bc50787a7b5 2082 coq-gappa_1.5.5-2build1.dsc
 801ca7f2d29b11655be340ad55a7bd879c48d846a7c8dbd4c0ef63697d2a9f91 2412 coq-gappa_1.5.5-2build1.debian.tar.xz
 147a464598d15da4880532859c450cd61211fd8d59bbf5e2546f6b35a58e94ae 7848 coq-gappa_1.5.5-2build1_source.buildinfo
Files:
 7c504b26ca4857778a71318649fc9feb 2082 math optional coq-gappa_1.5.5-2build1.dsc
 67bdd3dc7d7686b22b97fbbc5031fb9c 2412 math optional coq-gappa_1.5.5-2build1.debian.tar.xz
 916bcfeff01e503e5242c6e5aaa8bec4 7848 math optional coq-gappa_1.5.5-2build1_source.buildinfo