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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 10:42:43 +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-1build4
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 10:42:43 +0100
Source: coq-mtac2
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4+8.17-1build4
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-1build4) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 a9c1ff0ced68e3c06b4afb9488328fbad6584ffb 2099 coq-mtac2_1.4+8.17-1build4.dsc
 04aa6e7222629ed9630692c0e88ead239cd1be09 2732 coq-mtac2_1.4+8.17-1build4.debian.tar.xz
 ccba68743c4be72d73cafaca0a6a05358ef86ec4 7816 coq-mtac2_1.4+8.17-1build4_source.buildinfo
Checksums-Sha256:
 c8daa060e41cd5a9e9587e5330e0e313acb08a46e2982af7c7ff4621c3d29bfc 2099 coq-mtac2_1.4+8.17-1build4.dsc
 561d5fff8e79f176591430e465c098582c08aed826a34a67061acfc42dad2b4e 2732 coq-mtac2_1.4+8.17-1build4.debian.tar.xz
 b047562b6f25a13474c1e955f1bcadaa441d0cf992921a7ba4aa8ba3e83d8cd5 7816 coq-mtac2_1.4+8.17-1build4_source.buildinfo
Files:
 622bfde8adf2aaf610aae989525f8f3f 2099 ocaml optional coq-mtac2_1.4+8.17-1build4.dsc
 b9994bcfa504e6cf6167c8a6e9a0e373 2732 ocaml optional coq-mtac2_1.4+8.17-1build4.debian.tar.xz
 ab77b419396a1c2c946828aa304f0be7 7816 ocaml optional coq-mtac2_1.4+8.17-1build4_source.buildinfo