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

[Jeremy Bícha]

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

  * Rebuild against latest coq

Date: Sat, 23 Dec 2023 07:21:50 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-mtac2/1.4+8.17-1build5
-------------- next part --------------
Format: 1.8
Date: Sat, 23 Dec 2023 07:21:50 -0500
Source: coq-mtac2
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4+8.17-1build5
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-mtac2 (1.4+8.17-1build5) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 95c0c31277a5cb37515c944f92a727ae5e541a02 2099 coq-mtac2_1.4+8.17-1build5.dsc
 c01a67172cd536b0ed7bc485efb05f24ecb2e156 2792 coq-mtac2_1.4+8.17-1build5.debian.tar.xz
 ffde93418a87c7a0749c9ef2939d742c24efd6dc 7272 coq-mtac2_1.4+8.17-1build5_source.buildinfo
Checksums-Sha256:
 542438cee59c0292c6bbafa123f72fd01a1d6a17644063ca8074497aee221194 2099 coq-mtac2_1.4+8.17-1build5.dsc
 437ef7a403eefb60ac05200b4c06c4d1d241bab3adfdb113a81baa1ebbe56dec 2792 coq-mtac2_1.4+8.17-1build5.debian.tar.xz
 31f957e3beaa96f60f186abf57eb9d95192b3ad071426ed01b7d514bf3db3122 7272 coq-mtac2_1.4+8.17-1build5_source.buildinfo
Files:
 4bd906b15f0c6ef74b0852ffb1f685de 2099 ocaml optional coq-mtac2_1.4+8.17-1build5.dsc
 b1cf36a405de824a7099cfcbfb0da694 2792 ocaml optional coq-mtac2_1.4+8.17-1build5.debian.tar.xz
 53ce14019ac829043481c24355f7bd0e 7272 ocaml optional coq-mtac2_1.4+8.17-1build5_source.buildinfo