[ubuntu/mantic-proposed] coq-mtac2 1.4+8.16-2build3 (Accepted)

[Gianfranco Costamagna]

coq-mtac2 (1.4+8.16-2build3) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Tue, 13 Jun 2023 10:44:45 +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-mtac2/1.4+8.16-2build3
-------------- next part --------------
Format: 1.8
Date: Tue, 13 Jun 2023 10:44:45 +0200
Source: coq-mtac2
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4+8.16-2build3
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-mtac2 (1.4+8.16-2build3) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 7e7a8da87116ed9089e0a08c0206a0013998db10 2099 coq-mtac2_1.4+8.16-2build3.dsc
 32c17a1fdedc5fb62c4bcb50039ce4de003b4df8 2588 coq-mtac2_1.4+8.16-2build3.debian.tar.xz
 d93e083479382e84b7cbc369ab2df585fb32c46f 7211 coq-mtac2_1.4+8.16-2build3_source.buildinfo
Checksums-Sha256:
 b48baf74e9f384faa52eee12689ca0bd20f36088aaebdd6253fa503ebcd9e3cd 2099 coq-mtac2_1.4+8.16-2build3.dsc
 306dff337e0733af9cf32b1e1018f58570fb3bbe7051b79977001d2da48a84c9 2588 coq-mtac2_1.4+8.16-2build3.debian.tar.xz
 bcc1a6a0ff886733e45f0a8126a3b8952285b43a11e19fbe4a19eb2bb5621e21 7211 coq-mtac2_1.4+8.16-2build3_source.buildinfo
Files:
 4b1174fb57c3537f32087dfa30b25219 2099 ocaml optional coq-mtac2_1.4+8.16-2build3.dsc
 2d3907701f8729163aac35dae913a469 2588 ocaml optional coq-mtac2_1.4+8.16-2build3.debian.tar.xz
 30e5714fcf09f938fbb3e0e99a881feb 7211 ocaml optional coq-mtac2_1.4+8.16-2build3_source.buildinfo