[ubuntu/lunar-proposed] coq-gappa 1.5.2-5build1 (Accepted)

[Gianfranco Costamagna]

coq-gappa (1.5.2-5build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 19:31:02 +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-5build1
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 19:31:02 +0100
Source: coq-gappa
Built-For-Profiles: noudeb
Architecture: source
Version: 1.5.2-5build1
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-5build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 6af1e2733e95ebc67cf5210f2975275788bb5fa9 2072 coq-gappa_1.5.2-5build1.dsc
 a8c44bd7df259e1198270a5d9ab25aa0d94b9241 2080 coq-gappa_1.5.2-5build1.debian.tar.xz
 cb75892817c2fd68c34e12aa5f38881545b41bb9 7123 coq-gappa_1.5.2-5build1_source.buildinfo
Checksums-Sha256:
 0997e6cf877915e1f534aa644fa1e97fc0f5d6257b6d8c0d1d1712e32089b968 2072 coq-gappa_1.5.2-5build1.dsc
 395b5ed6b896dc4081a429b065f069225f7cf55ae39f23ed4c1e296830ea32a9 2080 coq-gappa_1.5.2-5build1.debian.tar.xz
 1393a983a1cdee87b0495a77aa840f2866d2bb4b9c23ba32386a7de2e1239681 7123 coq-gappa_1.5.2-5build1_source.buildinfo
Files:
 6a57f15180b9453384efce88c5f5a20a 2072 math optional coq-gappa_1.5.2-5build1.dsc
 057f884859e23942f0725bbefc7567e4 2080 math optional coq-gappa_1.5.2-5build1.debian.tar.xz
 12e7c0ab547191f5596892a4167cef5a 7123 math optional coq-gappa_1.5.2-5build1_source.buildinfo