Format: 1.8
Date: Sat, 25 Apr 2026 04:04:45 +0200
Source: coq-mtac2
Binary: libcoq-mtac2 libcoq-mtac2-dbgsym
Architecture: source amd64
Version: 1.4+8.20-1+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+8.20-1+ocaml1) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 8edc1dce0636d4ad02697f7eed669ee9ffbd32f3 1220 coq-mtac2_1.4+8.20-1+ocaml1.dsc
 d64ca8604cd4bcb89518d6c81f96422fb404ea7e 252390 coq-mtac2_1.4+8.20.orig.tar.gz
 7e71881c6b7f80add41dd4328be72d920b8c872c 3000 coq-mtac2_1.4+8.20-1+ocaml1.debian.tar.xz
 149c970ea73b000095b5b94779a8fa7cbb540944 6628 coq-mtac2_1.4+8.20-1+ocaml1_amd64.buildinfo
 7e00512f4a1efa4a1eb525a80ca21279027fba96 41268 libcoq-mtac2-dbgsym_1.4+8.20-1+ocaml1_amd64.deb
 5f69add4eff692c77e8a361912a4a4028999172d 791844 libcoq-mtac2_1.4+8.20-1+ocaml1_amd64.deb
Checksums-Sha256:
 4a95dcb966b4bc29171c3fc34f1378a5c5ec82dd6d6c4daf0ff63b00c36a4a72 1220 coq-mtac2_1.4+8.20-1+ocaml1.dsc
 7186069de5599670b37e58f456c7243520afa997668278ee1eb3a2ebf14eaed3 252390 coq-mtac2_1.4+8.20.orig.tar.gz
 708274ae1d305f98ee5e4c9c596caca54c3331173c09829f9fbeb785e47051aa 3000 coq-mtac2_1.4+8.20-1+ocaml1.debian.tar.xz
 844659d70314ff83172329fdbc06cbb0a6b02b6292a4a6e99e55c3c6ab9bacfa 6628 coq-mtac2_1.4+8.20-1+ocaml1_amd64.buildinfo
 07838d3feb516afd425678f199f0e9109ff0468b255ab2528499ea15378477e2 41268 libcoq-mtac2-dbgsym_1.4+8.20-1+ocaml1_amd64.deb
 2f6b2c11a6a4e38d1970d94efbae88f2defb8933936ae390a7c55453c28431af 791844 libcoq-mtac2_1.4+8.20-1+ocaml1_amd64.deb
Files:
 6d53e1b0e7431d1d3b91f3f153e34bfe 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
 726e40cde19700b5ea58f3774fd35f02 3000 ocaml optional coq-mtac2_1.4+8.20-1+ocaml1.debian.tar.xz
 4b7b00c748115c87045c245d1ba324ce 6628 ocaml optional coq-mtac2_1.4+8.20-1+ocaml1_amd64.buildinfo
 9f52c55302744c6cc514752c47b1cbd8 41268 debug optional libcoq-mtac2-dbgsym_1.4+8.20-1+ocaml1_amd64.deb
 fd14d06141a774a06fe4ed7e3a5c0272 791844 ocaml optional libcoq-mtac2_1.4+8.20-1+ocaml1_amd64.deb