Format: 1.8
Date: Wed, 11 Nov 2026 14:45:56 +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:
 91994e05839252c3a6adab23defccb9fdebeef72 1248 coq-mtac2_1.4-rocq9.1-2+ocaml1.dsc
 f867120e6ca473d68f098aa50729d2ad97eaaf18 252426 coq-mtac2_1.4-rocq9.1.orig.tar.gz
 152ebd30baec5fbe9de85c93d3d6c06419a9758b 4728 coq-mtac2_1.4-rocq9.1-2+ocaml1.debian.tar.xz
 c677d65e252358200656dca4b8451eeba599729d 6334 coq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.buildinfo
 d25d3515ff39c86c6a32fd0aa389aac9e6bc538d 794052 libcoq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.deb
Checksums-Sha256:
 f8a93aea0b19b8bf552909d162c3ecc4384fe49e19d95b044483cf07e0d504f7 1248 coq-mtac2_1.4-rocq9.1-2+ocaml1.dsc
 8e4181daad414ff2b8a489436530f54c42c0fabce61dbca8a0bb2e3efbcf02f1 252426 coq-mtac2_1.4-rocq9.1.orig.tar.gz
 839b92c43a81c952ec8ed5bc7dd7b601910397d3eceba7249287e9674e007b15 4728 coq-mtac2_1.4-rocq9.1-2+ocaml1.debian.tar.xz
 3d8e55751e3c7085e094380d8bcb0a43db9e65c8ecf769fdfcc71ba35f617664 6334 coq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.buildinfo
 2d455b86987fb6556e7bcbcddf7a6d4b2a7bb26e4be006ad7ef5c945cebef951 794052 libcoq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.deb
Files:
 44b03ae78f0157b05cd8c946a40882c4 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
 378d0c18ef788dbe3172a7c2ad92e82d 4728 ocaml optional coq-mtac2_1.4-rocq9.1-2+ocaml1.debian.tar.xz
 6388562d6498dabf97aeb0244a5dfecc 6334 ocaml optional coq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.buildinfo
 e19334017c25bc3bd20ceb4ff22545cc 794052 ocaml optional libcoq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.deb