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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 02 May 2024 22:12:18 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 02 May 2024 22:12:18 +0200
Source: coq-gappa
Built-For-Profiles: noudeb
Architecture: source
Version: 1.5.5-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:
 coq-gappa (1.5.5-1build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 fa500061db05d25fbd3cfc18a558ea209cfb38dc 2072 coq-gappa_1.5.5-1build1.dsc
 1e10aaed6a3451d55b821b5d0bbfed82d0b70fba 2280 coq-gappa_1.5.5-1build1.debian.tar.xz
 e9515e5a95de11dfacc89b2eb3bcd8137743664d 7803 coq-gappa_1.5.5-1build1_source.buildinfo
Checksums-Sha256:
 3e92a1abe3c0d382e61eef2a7d883b50f2aeaccb74fcf8b6b2aa5d44a42ddf93 2072 coq-gappa_1.5.5-1build1.dsc
 cd55b7d6de310ae11556b1be3cf2347f20234b6c19d4375462bacc7a82aaecac 2280 coq-gappa_1.5.5-1build1.debian.tar.xz
 9cfd34f4761aef8ddebc0dd2595d6d2b31ede77bb8afd22a5a156223a01266b9 7803 coq-gappa_1.5.5-1build1_source.buildinfo
Files:
 f48ef5b2e101228842eacef2fa498df5 2072 math optional coq-gappa_1.5.5-1build1.dsc
 ecf698e9563584f025920903087a7810 2280 math optional coq-gappa_1.5.5-1build1.debian.tar.xz
 03f2c827d2e8f7b4f474dfa869b78812 7803 math optional coq-gappa_1.5.5-1build1_source.buildinfo