[ubuntu/plucky-proposed] coq-mtac2 1.4+8.20-1build4 (Accepted)

[Jeremy Bícha]

coq-mtac2 (1.4+8.20-1build4) plucky; urgency=medium

  * Rebuild against latest coq

Date: Tue, 18 Feb 2025 20:54:44 -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.20-1build4
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Feb 2025 20:54:44 -0500
Source: coq-mtac2
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4+8.20-1build4
Distribution: plucky
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.20-1build4) plucky; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 98e692fb57c50e78c9711928934db403b909df8f 2099 coq-mtac2_1.4+8.20-1build4.dsc
 f0b2681e108449a5eaac63ed819bc8307cc73d9f 3100 coq-mtac2_1.4+8.20-1build4.debian.tar.xz
 4c47204a3d54f23e38c48d30834a91422f66459a 7038 coq-mtac2_1.4+8.20-1build4_source.buildinfo
Checksums-Sha256:
 f97c7aefc8f524899dd949158a118d23c54c4fa5141beb59329223f81ba43f0f 2099 coq-mtac2_1.4+8.20-1build4.dsc
 28f8909f309978dfec0ef9fcf6b548d9162570c1f73981f408c64fbce3a2ded8 3100 coq-mtac2_1.4+8.20-1build4.debian.tar.xz
 e56efa09873411d8fcadd487fabc5e821589e26d89975f74ff860e5f0afc0a8e 7038 coq-mtac2_1.4+8.20-1build4_source.buildinfo
Files:
 2c2ed78e455e73f51bfd1cd5abdaa6d6 2099 ocaml optional coq-mtac2_1.4+8.20-1build4.dsc
 59d382b5b3895217ad6571ee94f22fc9 3100 ocaml optional coq-mtac2_1.4+8.20-1build4.debian.tar.xz
 0dfd7e18cfe253a845bc16eb0e51cb05 7038 ocaml optional coq-mtac2_1.4+8.20-1build4_source.buildinfo