Format: 1.8
Date: Fri, 06 Nov 2026 23:48:05 +0100
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: source amd64
Version: 1.4-rocq9.1-2+ocaml1
Distribution: unstable-ocaml
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 libcoq-mtac2 - Mtac2 tactic language for Coq
Changes:
 coq-mtac2 (1.4-rocq9.1-2+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.5.2
Checksums-Sha1:
 995bcbc37bfa19cd025110e9f0181b1ff7099562 1248 coq-mtac2_1.4-rocq9.1-2+ocaml1.dsc
 f867120e6ca473d68f098aa50729d2ad97eaaf18 252426 coq-mtac2_1.4-rocq9.1.orig.tar.gz
 abbfee866cb058dd4b8d26fb22a11e7412e79d0e 4724 coq-mtac2_1.4-rocq9.1-2+ocaml1.debian.tar.xz
 96c4fd092d5dacf2d516051188373d7599eb371f 6331 coq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.buildinfo
 7cc206f5ee01b75124e961c610b11e7189051eb6 794348 libcoq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.deb
Checksums-Sha256:
 5869203487430dcecb33609abd707edb00b57c4d04594dad9b48f24301d584ca 1248 coq-mtac2_1.4-rocq9.1-2+ocaml1.dsc
 8e4181daad414ff2b8a489436530f54c42c0fabce61dbca8a0bb2e3efbcf02f1 252426 coq-mtac2_1.4-rocq9.1.orig.tar.gz
 82a627f0dc8f3e08515848e9ef5f04ff7cf67a300f685126d530af3ca72ba81b 4724 coq-mtac2_1.4-rocq9.1-2+ocaml1.debian.tar.xz
 22919bfca3adb02acef24fe1ed4d15fa9476dc126a91a36a41e1cc1f0db308cf 6331 coq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.buildinfo
 3ee5c4a3ac8e07767e5a3d092bdb5b77b4bf31eaaff9ab990a5ad037b1f4b286 794348 libcoq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.deb
Files:
 55de824f96a40b2efe274c12b2e4a34f 1248 ocaml optional coq-mtac2_1.4-rocq9.1-2+ocaml1.dsc
 8bb2d07061f97a57ffad4c9812bed8e9 252426 ocaml optional coq-mtac2_1.4-rocq9.1.orig.tar.gz
 6df314b763008ca79a4b14fdf3f0626d 4724 ocaml optional coq-mtac2_1.4-rocq9.1-2+ocaml1.debian.tar.xz
 266eadd7eb21af9e915f6f135f4fefd4 6331 ocaml optional coq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.buildinfo
 58a939848076037d5a97ae6bedcf1858 794348 ocaml optional libcoq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.deb