Format: 1.8
Date: Tue, 11 Aug 2026 11:29:20 +0200
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: source amd64
Version: 1.4-rocq9.1-2+ocaml1
Distribution: trixie-backports-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) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 0e6dc84cededc818803835f0a6b75a197f20439d 1248 coq-mtac2_1.4-rocq9.1-2+ocaml1.dsc
 f867120e6ca473d68f098aa50729d2ad97eaaf18 252426 coq-mtac2_1.4-rocq9.1.orig.tar.gz
 6d0407d06bc5b940b0443e02bd3a35b195a399f5 4732 coq-mtac2_1.4-rocq9.1-2+ocaml1.debian.tar.xz
 9ac516602bb582e9e588718c3795dd8e8a44c8e9 6456 coq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.buildinfo
 bdd864b4e4e05d6e3fbd55e43ffa5867f89c5926 793512 libcoq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.deb
Checksums-Sha256:
 98a2c753fc0a2f834b4116eeb66d8c1e613ee66f09ea3689bacfa0926d6b23d0 1248 coq-mtac2_1.4-rocq9.1-2+ocaml1.dsc
 8e4181daad414ff2b8a489436530f54c42c0fabce61dbca8a0bb2e3efbcf02f1 252426 coq-mtac2_1.4-rocq9.1.orig.tar.gz
 d4c42931553fd1ea74f1b8976ed79b70fc3962ae805d5317430efa41457e77bd 4732 coq-mtac2_1.4-rocq9.1-2+ocaml1.debian.tar.xz
 37707c65415c246230bf9d3a07c42b7c16919b5ac7fd2e42dc5da93db3017a49 6456 coq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.buildinfo
 4228e18f168bd5131536955457a392e3e872623aa145c2fdf63f433260c1f115 793512 libcoq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.deb
Files:
 efb032b6fded5b1769a7af94109a066b 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
 5b17fb3a8a9ae8f0d4c3d006c0a5b3f4 4732 ocaml optional coq-mtac2_1.4-rocq9.1-2+ocaml1.debian.tar.xz
 3107daba68c6f628ce6262dbf4a93bf4 6456 ocaml optional coq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.buildinfo
 2b6ab74abbb2ec373ad134eb4e6e29a8 793512 ocaml optional libcoq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.deb