-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+8.19-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/Mtac2/Mtac2
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-mtac2
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-mtac2.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, libcoq-unicoq, ocaml-findlib
Package-List:
 libcoq-mtac2 deb ocaml optional arch=any
Checksums-Sha1:
 a7b7758bce394cc9d0ca99a4929f4a4f3316462a 252242 coq-mtac2_1.4+8.19.orig.tar.gz
 a41074df9e24633296b249f16f89c837e4f0cf0b 4916 coq-mtac2_1.4+8.19-3.debian.tar.xz
Checksums-Sha256:
 7906a4302bbed3325d766f1b1275303afbc660b8dcc61870924fcf56b04e0d3f 252242 coq-mtac2_1.4+8.19.orig.tar.gz
 a33fd785cf36945ad20773c8551700f9d424064f461878472065514a21776a2a 4916 coq-mtac2_1.4+8.19-3.debian.tar.xz
Files:
 4d4d247f672a25d9c8b59f9f0ce38d99 252242 coq-mtac2_1.4+8.19.orig.tar.gz
 53968b973262e05a79acf1807ae3bb21 4916 coq-mtac2_1.4+8.19-3.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sekSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRZqoP/0biF/8W6+9JgBxdfUQTBbReIWGB4G6W
j/y/7ziZGtRs0/ETTHQ4l/2gPf+3k1KSOaJBBXdKJfMK+nva3Zf0CksmluHmhNJh
924VL1yKL4NDJ9signoplR6Z61LJEQpUub71AZlhpPNaYREn6kah06txHcVpBVXx
uJ4AB9ji/cHQc5F90HUu3s0DpRHSJR0X89bueVA21/tYKSbCyWO5U0cNrPwaoWU/
dQaKktGRhIAT6AG3e03JgVQujgVMelJU9NhPbaaqo+sHWrSbN5s7RfZw2kgUhv9C
RUKlpFL/kqGKmAQFY7yKwQ1vtZZkDeW6nSFJNPG0FTdGXXq0RGheG+45nCh2RscO
mPZvCyYS7xprwpOdZAiyjcvazqsnm1ItW6ONhLDinpkEEu1rTaDkvSg7KVYXHkgZ
OQmqicOkwry6vcgndds3vBjWC09Dib7BlfC57QNVHPRkXx2vbJEnDCPV2kSUyy5f
sgnjJNTUNetk8d8gvFex7t7i0K/JgpyFc4kFbI+8VshTj4+whAbixF4tLGfR2Hd5
6ddAwGFmwPkuHf0xQ6yglmpdeT5BKqRqPTT/inn6Y7tTNVmu1iTRFLzyfvIIGWhu
j/n0s4f9wE6SfWeducdCMiJfMFqqxug0AOqk3IAfh9R0BljaJsUSBVlguP3ft9Ob
TN5979FABT7w
=CFqH
-----END PGP SIGNATURE-----