[ubuntu/mantic-proposed] coq-gappa 1.5.3-1build1 (Accepted)

[Gianfranco Costamagna]

coq-gappa (1.5.3-1build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 26 Jul 2023 07:12:25 +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.3-1build1
-------------- next part --------------
Format: 1.8
Date: Wed, 26 Jul 2023 07:12:25 +0200
Source: coq-gappa
Built-For-Profiles: noudeb
Architecture: source
Version: 1.5.3-1build1
Distribution: mantic
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.3-1build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 76e4fbe9f7e3877313ea6e26859e55e876e19ba7 2072 coq-gappa_1.5.3-1build1.dsc
 b1c148e8537cbe379ea3d2c59a7aa9e0af325e68 2116 coq-gappa_1.5.3-1build1.debian.tar.xz
 69f074de05eec26095824f65751315b66ee595a8 7757 coq-gappa_1.5.3-1build1_source.buildinfo
Checksums-Sha256:
 9d355fe56ffee27e9fab0ebe057a887891f960541043b84071db0e3c89c3ef89 2072 coq-gappa_1.5.3-1build1.dsc
 d95cd7b6b5e99905288d6bcabda3da429490acc0c6675453e734a8d25e619e61 2116 coq-gappa_1.5.3-1build1.debian.tar.xz
 ce43524116b729e8468227cec57224e8490cceffa8ffe2a1976e90d17484bafc 7757 coq-gappa_1.5.3-1build1_source.buildinfo
Files:
 83dfe7499c178d0ef51e1e85b375a435 2072 math optional coq-gappa_1.5.3-1build1.dsc
 f3bd3aac968d48a0acf8bf48bef0547f 2116 math optional coq-gappa_1.5.3-1build1.debian.tar.xz
 ef9e14ab916857870caa1e1d784ad690 7757 math optional coq-gappa_1.5.3-1build1_source.buildinfo