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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 08 Apr 2024 09:18:05 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-mtac2/1.4+8.18-1build3
-------------- next part --------------
Format: 1.8
Date: Mon, 08 Apr 2024 09:18:05 +0200
Source: coq-mtac2
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4+8.18-1build3
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-mtac2 (1.4+8.18-1build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 a4f1c00c1781fd6323f0e9581fb4875955d9c6a8 2178 coq-mtac2_1.4+8.18-1build3.dsc
 50baf36ab02df185dabadf917f7ab4317facb033 2952 coq-mtac2_1.4+8.18-1build3.debian.tar.xz
 d0532d2558006944154473f05fb366687572f249 7836 coq-mtac2_1.4+8.18-1build3_source.buildinfo
Checksums-Sha256:
 1242614937d6ca78ef1dc9cb472053f36a557678a8694ea2b7647bfdd2c1fdf0 2178 coq-mtac2_1.4+8.18-1build3.dsc
 a17f7597fe2e7eb14a99e6e9b8f556faf68b9f94b3a1b221585a5e2161450067 2952 coq-mtac2_1.4+8.18-1build3.debian.tar.xz
 bc9690d0e6649bfa81fe407436c6366887a8fe91daf7d41d78bde136699f1d4a 7836 coq-mtac2_1.4+8.18-1build3_source.buildinfo
Files:
 53981a3917e5616e43ba7e92ab92cec3 2178 ocaml optional coq-mtac2_1.4+8.18-1build3.dsc
 9cbb5eaf73504a5efd7e9a7f9429e250 2952 ocaml optional coq-mtac2_1.4+8.18-1build3.debian.tar.xz
 77860c1a1b501e6e05e42caf66931fe7 7836 ocaml optional coq-mtac2_1.4+8.18-1build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>