Format: 1.8
Date: Sat, 25 Apr 2026 08:49:36 +0200
Source: coq-mtac2
Binary: libcoq-mtac2 libcoq-mtac2-dbgsym
Architecture: source amd64
Version: 1.4+8.20-1+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+8.20-1+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 351e19024b14d14cdb66c127d5540502aecb4053 1220 coq-mtac2_1.4+8.20-1+ocaml1.dsc
 d64ca8604cd4bcb89518d6c81f96422fb404ea7e 252390 coq-mtac2_1.4+8.20.orig.tar.gz
 fb483c64c1b6770700503a8e8b496c274ee1b4e3 2992 coq-mtac2_1.4+8.20-1+ocaml1.debian.tar.xz
 f6eeca36626d96a71a7614826cc8e529d3f4707b 6567 coq-mtac2_1.4+8.20-1+ocaml1_amd64.buildinfo
 f5611bb14bf2c5c97c2f8fcb0850c0d816b2fe30 41252 libcoq-mtac2-dbgsym_1.4+8.20-1+ocaml1_amd64.deb
 b6b011f5bb87f3b8fc61fa88d1434a80af378cc8 791304 libcoq-mtac2_1.4+8.20-1+ocaml1_amd64.deb
Checksums-Sha256:
 7e2029cfdfec4df13419f132c89b78b7b9a95d89c85012afdd2bf8f9b52eac24 1220 coq-mtac2_1.4+8.20-1+ocaml1.dsc
 7186069de5599670b37e58f456c7243520afa997668278ee1eb3a2ebf14eaed3 252390 coq-mtac2_1.4+8.20.orig.tar.gz
 030662567256e617f9959b3904abccf44fc37f0aaf76ce1011157a0245bdaccd 2992 coq-mtac2_1.4+8.20-1+ocaml1.debian.tar.xz
 c0c8e24d4daf3bff9dece108add07490f122e0fa5c3e17f2627fa636a66cb1b0 6567 coq-mtac2_1.4+8.20-1+ocaml1_amd64.buildinfo
 2b27655f4d4ad0e188e8703b3ee37915ba0bdad2507c85147f8d12b1a8c1463a 41252 libcoq-mtac2-dbgsym_1.4+8.20-1+ocaml1_amd64.deb
 8541c2c9b34b19598677a518adf69ede3d9416a1ec56b6a9a20c07b489369acb 791304 libcoq-mtac2_1.4+8.20-1+ocaml1_amd64.deb
Files:
 5f84a38622ff297a91d637de7323b794 1220 ocaml optional coq-mtac2_1.4+8.20-1+ocaml1.dsc
 b2f719ba452e18f8c309f5f69074e640 252390 ocaml optional coq-mtac2_1.4+8.20.orig.tar.gz
 28ae18ab608f6f08f5abba2beb135312 2992 ocaml optional coq-mtac2_1.4+8.20-1+ocaml1.debian.tar.xz
 50c731a380969c7fe38fa3e0fcf104a1 6567 ocaml optional coq-mtac2_1.4+8.20-1+ocaml1_amd64.buildinfo
 c1df7b0576320c7f5a29ecada2174620 41252 debug optional libcoq-mtac2-dbgsym_1.4+8.20-1+ocaml1_amd64.deb
 2c5f877667e8d4790ae47a303eec9b7f 791304 ocaml optional libcoq-mtac2_1.4+8.20-1+ocaml1_amd64.deb