[ubuntu/lunar-proposed] coq 8.16.1+dfsg-1build2 (Accepted)

[Gianfranco Costamagna]

coq (8.16.1+dfsg-1build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 10:54:39 +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/8.16.1+dfsg-1build2
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 10:54:39 +0100
Source: coq
Built-For-Profiles: noudeb
Architecture: source
Version: 8.16.1+dfsg-1build2
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 (8.16.1+dfsg-1build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 ba050ec8919d6c108ada3da4bb49265a2e3b0b93 2628 coq_8.16.1+dfsg-1build2.dsc
 0e94faa76fa68fb6973158893d66fe513cbd40ce 33316 coq_8.16.1+dfsg-1build2.debian.tar.xz
 253066ab54485d8bd92e20a3df296cdf876877f9 8140 coq_8.16.1+dfsg-1build2_source.buildinfo
Checksums-Sha256:
 12d3219af2c431b2eb1d3221ee6ac07c659782c93693ce180bb21d7faee759c4 2628 coq_8.16.1+dfsg-1build2.dsc
 dda7fc7a8cb22148bf629057a5c0607dd7965b0fffcab8e3cb5e026896c861b4 33316 coq_8.16.1+dfsg-1build2.debian.tar.xz
 758c697ccbf04e232ba6c20bfc5a2b2f861457c76e2342a03e618bcc47601a7e 8140 coq_8.16.1+dfsg-1build2_source.buildinfo
Files:
 cff3725b8a38aae35052a2cbb99016f9 2628 math optional coq_8.16.1+dfsg-1build2.dsc
 6afa0025813bfe80480ca5966f593068 33316 math optional coq_8.16.1+dfsg-1build2.debian.tar.xz
 b0b227a6ab38fecb5a632ae15ae133c9 8140 math optional coq_8.16.1+dfsg-1build2_source.buildinfo