[ubuntu/lunar-proposed] coq-gappa 1.5.2-4build2 (Accepted)

[Gianfranco Costamagna]

coq-gappa (1.5.2-4build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sat, 03 Dec 2022 12:56:12 +0100
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.2-4build2
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Dec 2022 12:56:12 +0100
Source: coq-gappa
Built-For-Profiles: noudeb
Architecture: source
Version: 1.5.2-4build2
Distribution: lunar
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.2-4build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 31f9a0032f2b97a9ede21a62d3180523f318d084 2067 coq-gappa_1.5.2-4build2.dsc
 24d560e676028fbf62e0b7d14cd95631276abbae 2044 coq-gappa_1.5.2-4build2.debian.tar.xz
 16e97ef4b9d311770158957e3cadee681cffc488 7858 coq-gappa_1.5.2-4build2_source.buildinfo
Checksums-Sha256:
 86f60837947e8a9c97f4d94ac3d30517e77f6ce6db7e9158bccbebf460133956 2067 coq-gappa_1.5.2-4build2.dsc
 688e90774e339562a1811263895f4462db5ce3f35666fad40b02a99531d8a348 2044 coq-gappa_1.5.2-4build2.debian.tar.xz
 0e67ea5eac488e1423ac33f87deedc06ebb9fe435ac1cda4dea0b6a7442dccb4 7858 coq-gappa_1.5.2-4build2_source.buildinfo
Files:
 20707baee80262807cb536abf3fe9d6c 2067 math optional coq-gappa_1.5.2-4build2.dsc
 28d9ef22607d35f5dfa15dd36cf9ee0a 2044 math optional coq-gappa_1.5.2-4build2.debian.tar.xz
 a952898d8a495a00926b3447bc9d8655 7858 math optional coq-gappa_1.5.2-4build2_source.buildinfo