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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:44:37 +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-1build3
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:44:37 +0100
Source: coq-mtac2
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4+8.17-1build3
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-1build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 cf39b1338533a0fd76fa56146a010fcf5aaf7e65 2099 coq-mtac2_1.4+8.17-1build3.dsc
 c87e28a7145cee637767a671954a35b680d00384 2724 coq-mtac2_1.4+8.17-1build3.debian.tar.xz
 eb4fbc85c5bab5dd25fb4a2288176784083a0717 7816 coq-mtac2_1.4+8.17-1build3_source.buildinfo
Checksums-Sha256:
 fbd0385a95e50ca2b32db2c97231096a40772cb4a53c5e7fbdb3ff078c1ad9f6 2099 coq-mtac2_1.4+8.17-1build3.dsc
 43570ac852655f43c8e0f175d9a71d10d9edcd807bce11f6a48e5befa6c4ccbf 2724 coq-mtac2_1.4+8.17-1build3.debian.tar.xz
 f7af5092473cfe167e44aa6921aa83ef1ff15eb2aeaf19469de076aff9764718 7816 coq-mtac2_1.4+8.17-1build3_source.buildinfo
Files:
 123bb03af92d37ab0384f6d6b62b1d90 2099 ocaml optional coq-mtac2_1.4+8.17-1build3.dsc
 46a2596beab6bda7b0ca0bf9ea192103 2724 ocaml optional coq-mtac2_1.4+8.17-1build3.debian.tar.xz
 352d2a02c4e47d7f6c31e3e3c1ed25fd 7816 ocaml optional coq-mtac2_1.4+8.17-1build3_source.buildinfo