[ubuntu/resolute-proposed] coq-mtac2 1.4+8.20-1build8 (Accepted)

[Gianfranco Costamagna]

coq-mtac2 (1.4+8.20-1build8) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 29 Jan 2026 20:24:29 +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-mtac2/1.4+8.20-1build8
-------------- next part --------------
Format: 1.8
Date: Thu, 29 Jan 2026 20:24:29 +0100
Source: coq-mtac2
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4+8.20-1build8
Distribution: resolute
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.20-1build8) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 b1dd6ac32df126d0ee05c67be99396be980fcb9c 2099 coq-mtac2_1.4+8.20-1build8.dsc
 eb82b303dc74ca9cf63ebd9648dae475fd37afbb 3180 coq-mtac2_1.4+8.20-1build8.debian.tar.xz
 5e2438f4eba24eef7914fdee846bb2608eb4b584 7867 coq-mtac2_1.4+8.20-1build8_source.buildinfo
Checksums-Sha256:
 f85807e53b379034ece5151c2ff9fc151b0b2a53437241ded2e7775ce85b537f 2099 coq-mtac2_1.4+8.20-1build8.dsc
 d2e9c7df13ab572bcf6a5fe03086d32822a62e88601c1bead3411f085dada68c 3180 coq-mtac2_1.4+8.20-1build8.debian.tar.xz
 2bc42880206b991a4641bec2ba6fc9a974a203c882e93370ebc677e3522d66e5 7867 coq-mtac2_1.4+8.20-1build8_source.buildinfo
Files:
 189449b2986f526cabbe7304606ceb0a 2099 ocaml optional coq-mtac2_1.4+8.20-1build8.dsc
 44f0797bdb0a844887cf83d1494c9c6a 3180 ocaml optional coq-mtac2_1.4+8.20-1build8.debian.tar.xz
 bae59a0e2ba852194bec4eaeb629cce1 7867 ocaml optional coq-mtac2_1.4+8.20-1build8_source.buildinfo