Format: 1.8
Date: Mon, 07 Sep 2026 20:33:13 +0200
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.1
Checksums-Sha1:
 c3df32b9ab168df7697beb906741dd8817c285db 1248 coq-mtac2_1.4-rocq9.1-2+ocaml1.dsc
 f867120e6ca473d68f098aa50729d2ad97eaaf18 252426 coq-mtac2_1.4-rocq9.1.orig.tar.gz
 dd24d99c1dcaf3375bf79a7bf4e11ab23c9ca688 4724 coq-mtac2_1.4-rocq9.1-2+ocaml1.debian.tar.xz
 164bdbb3d510896eecd96d913d81161ef643af2d 6183 coq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.buildinfo
 c5d47866094b7c799d243b02a07a85c79a07d605 793896 libcoq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.deb
Checksums-Sha256:
 dded009ceb8845e643d94fc4ea27338ab50dbd02d0889deaf0e07ae1c2c338ef 1248 coq-mtac2_1.4-rocq9.1-2+ocaml1.dsc
 8e4181daad414ff2b8a489436530f54c42c0fabce61dbca8a0bb2e3efbcf02f1 252426 coq-mtac2_1.4-rocq9.1.orig.tar.gz
 23a3bed392a244546f1c2eeacd42d272954119e30e6d8dc3891a9d70080fa64a 4724 coq-mtac2_1.4-rocq9.1-2+ocaml1.debian.tar.xz
 47e081efeae754f22e988993321487b8cd4d989cf44c6d63a8f87a3502e5dd52 6183 coq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.buildinfo
 1f7b8357b731a91a5d637dca870d5974939b2e26a3adffac5c4cd54b3f8c5d57 793896 libcoq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.deb
Files:
 caa3e4a640ca38541d3dcc6d8eaf6f0c 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
 16ee3786b276b5d746203b9313b557a0 4724 ocaml optional coq-mtac2_1.4-rocq9.1-2+ocaml1.debian.tar.xz
 9b339771c02772769c8909774962f8a9 6183 ocaml optional coq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.buildinfo
 6238e11a4799eefcb39eb958246c6de5 793896 ocaml optional libcoq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.deb