[ubuntu/noble-proposed] coq-mtac2 1.4+8.17-1build2 (Accepted)

[Gianfranco Costamagna]

coq-mtac2 (1.4+8.17-1build2) noble; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Mon, 06 Nov 2023 17:15:46 +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.17-1build2
-------------- next part --------------
Format: 1.8
Date: Mon, 06 Nov 2023 17:15:46 +0100
Source: coq-mtac2
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4+8.17-1build2
Distribution: noble
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.17-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 6d7cc5b495a59aa5b1ef1ab05307d9625dc7fe2f 2099 coq-mtac2_1.4+8.17-1build2.dsc
 80fdb53e19eea118386d2c107af0bdff8e3c403f 2700 coq-mtac2_1.4+8.17-1build2.debian.tar.xz
 49e83a13113907b086e3592ff7921a9fa7e919e6 7816 coq-mtac2_1.4+8.17-1build2_source.buildinfo
Checksums-Sha256:
 d3e1373440774286fbc89ba469bd1b260c4008a8c3edcc252973f225c726fc45 2099 coq-mtac2_1.4+8.17-1build2.dsc
 5f36db4de60bcb99e0fa4d9cb321495f031754bd04dbd03be9aa4681b2531191 2700 coq-mtac2_1.4+8.17-1build2.debian.tar.xz
 679f73c2e7e55eac524517422b2172c95dee8051225c4ce007201ee38fc6a517 7816 coq-mtac2_1.4+8.17-1build2_source.buildinfo
Files:
 056f3280b0f4525a01f0623207e9d278 2099 ocaml optional coq-mtac2_1.4+8.17-1build2.dsc
 a245006cc0fc87fa2e88a7f42754008d 2700 ocaml optional coq-mtac2_1.4+8.17-1build2.debian.tar.xz
 f3a2baee234d64a1fa37660abacb9860 7816 ocaml optional coq-mtac2_1.4+8.17-1build2_source.buildinfo