[ubuntu/plucky-proposed] coq-mtac2 1.4+8.20-1build3 (Accepted)

[Gianfranco Costamagna]

coq-mtac2 (1.4+8.20-1build3) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 14 Feb 2025 00:45: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-1build3
-------------- next part --------------
Format: 1.8
Date: Fri, 14 Feb 2025 00:45:29 +0100
Source: coq-mtac2
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4+8.20-1build3
Distribution: plucky
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-1build3) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 1ac288d9b61f5c2978c1e8294e5437f3967526b9 2099 coq-mtac2_1.4+8.20-1build3.dsc
 040ca57180c3563c63a051c76b037a4832262c4b 3092 coq-mtac2_1.4+8.20-1build3.debian.tar.xz
 ebff72a8af51cc207aa03390b0177368a28bcf71 7307 coq-mtac2_1.4+8.20-1build3_source.buildinfo
Checksums-Sha256:
 8eb758d8e44178b2c83c05300dda76bb9ac7ff3c81f5e02f2e284e2bc81502b6 2099 coq-mtac2_1.4+8.20-1build3.dsc
 122a14c4e978155b58a2a14db355332bdc3d0b6ade88fae376b0ce7f9e194b8c 3092 coq-mtac2_1.4+8.20-1build3.debian.tar.xz
 c85913d562d35d67a36d019988680b2799f334ba6efbb60cd836fe8d19e8eb6a 7307 coq-mtac2_1.4+8.20-1build3_source.buildinfo
Files:
 fe26d1bcbf2dff7a9eb5aeeef2c64bb2 2099 ocaml optional coq-mtac2_1.4+8.20-1build3.dsc
 cb77a01963bfc73141b8454367be12a0 3092 ocaml optional coq-mtac2_1.4+8.20-1build3.debian.tar.xz
 896daa9c9586e84de86641f4c0ee59c1 7307 ocaml optional coq-mtac2_1.4+8.20-1build3_source.buildinfo