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

[Jeremy Bícha]

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

  * Rebuild against latest ocaml

Date: Sat, 01 Feb 2025 20:22:23 -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-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 01 Feb 2025 20:22:23 -0500
Source: coq-mtac2
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4+8.20-1build2
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-1build2) plucky; urgency=medium
 .
   * Rebuild against latest ocaml
Checksums-Sha1:
 21011062a8c251580345a05bfe922c12f60b18c2 2099 coq-mtac2_1.4+8.20-1build2.dsc
 29c8df8f2d5f5a9c1faa2a514d18127201477071 3040 coq-mtac2_1.4+8.20-1build2.debian.tar.xz
 5b528c6d8126ceb1bc02af1866c17b5aaab904db 7062 coq-mtac2_1.4+8.20-1build2_source.buildinfo
Checksums-Sha256:
 bdaeba405bf2ebd13348c022099fbf84e2f98c335a06035074da5c38f5eae761 2099 coq-mtac2_1.4+8.20-1build2.dsc
 780e199d4c518ad108ffe09ffe9b028e3e6bd8a585ab5264d0ea095040455a72 3040 coq-mtac2_1.4+8.20-1build2.debian.tar.xz
 2ee3731910c8cde207a5f01091df1f44fc3df358f0d5e5a133a9963570fd8b15 7062 coq-mtac2_1.4+8.20-1build2_source.buildinfo
Files:
 2c0fb6a59932460474ea1a6637850ecf 2099 ocaml optional coq-mtac2_1.4+8.20-1build2.dsc
 ba9b8c092dfaaed810ea55153b484612 3040 ocaml optional coq-mtac2_1.4+8.20-1build2.debian.tar.xz
 51fdcd3d8bd9d50ad761afe50503912b 7062 ocaml optional coq-mtac2_1.4+8.20-1build2_source.buildinfo