Format: 1.8
Date: Fri, 23 Oct 2026 19:43:45 +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.2
Checksums-Sha1:
 931d6205f4cfcdab2c0a770b0b42f65e25ce87e9 1248 coq-mtac2_1.4-rocq9.1-2+ocaml1.dsc
 f867120e6ca473d68f098aa50729d2ad97eaaf18 252426 coq-mtac2_1.4-rocq9.1.orig.tar.gz
 d06968ed30152418d329d83043bf5b2f536b7878 4724 coq-mtac2_1.4-rocq9.1-2+ocaml1.debian.tar.xz
 810d148937e2f9916e6fd42f9edb95fde8363cc0 6277 coq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.buildinfo
 e9fe846b8ff7fc326044560a20ada8dab99422eb 794368 libcoq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.deb
Checksums-Sha256:
 231f71be8710d09bf1e4dd117cf7a8cbe832f670b7aac888ae65f3af465dd16e 1248 coq-mtac2_1.4-rocq9.1-2+ocaml1.dsc
 8e4181daad414ff2b8a489436530f54c42c0fabce61dbca8a0bb2e3efbcf02f1 252426 coq-mtac2_1.4-rocq9.1.orig.tar.gz
 9dd5de19aa228a78d680e34900b8ee5eb46b16fd633723e5bd0c6095137f8cb7 4724 coq-mtac2_1.4-rocq9.1-2+ocaml1.debian.tar.xz
 92b03e3dedb434fb1bec1932fe8db694f9124512703254dd2c2a47692e87c7ff 6277 coq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.buildinfo
 c37c3fb1d39e9328025bd1decd2907ab4cd4d9cea25ac86f1196bd6335055c8c 794368 libcoq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.deb
Files:
 099c303b757eed72e1d4f4f80993279d 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
 357df4cc19d191d68486e8468d2010c1 4724 ocaml optional coq-mtac2_1.4-rocq9.1-2+ocaml1.debian.tar.xz
 51a8611642d4a6f6cdbc36b9f4d6a0a0 6277 ocaml optional coq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.buildinfo
 32c85e31a4bf15d450dc1e8145f6aeee 794368 ocaml optional libcoq-mtac2_1.4-rocq9.1-2+ocaml1_amd64.deb