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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 05 Jan 2026 18:36:31 +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-1build7
-------------- next part --------------
Format: 1.8
Date: Mon, 05 Jan 2026 18:36:31 +0100
Source: coq-mtac2
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4+8.20-1build7
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-1build7) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 1be9cd7ac34208b4277f54529c10d1ee42c13242 2099 coq-mtac2_1.4+8.20-1build7.dsc
 d473212a58ac03e8f90d430ed28c49689cec0566 3164 coq-mtac2_1.4+8.20-1build7.debian.tar.xz
 2da07919b033ecd1953331c7e3ca2c1ad2b82b3d 7863 coq-mtac2_1.4+8.20-1build7_source.buildinfo
Checksums-Sha256:
 e9fc5a166f9812611edbb1a90d3f86866c7f3bc672128ed5bf5d09bc6a991266 2099 coq-mtac2_1.4+8.20-1build7.dsc
 1b27b2fdb186036c599aa4b3a17bac3da2ca0b6113d992e0026dfe183c3fe6a7 3164 coq-mtac2_1.4+8.20-1build7.debian.tar.xz
 8f6c99eac09e1f64d48741096f486aeed6e88cbd96e307937da18192c646f51f 7863 coq-mtac2_1.4+8.20-1build7_source.buildinfo
Files:
 711c7c3171723f4343775f6b43ec1cfe 2099 ocaml optional coq-mtac2_1.4+8.20-1build7.dsc
 a9e1ef4bb67210bfd300023de85d52e5 3164 ocaml optional coq-mtac2_1.4+8.20-1build7.debian.tar.xz
 37cebc000b9a7d7d618ea3df08738919 7863 ocaml optional coq-mtac2_1.4+8.20-1build7_source.buildinfo