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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+8.20-1build8
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:
 d64ca8604cd4bcb89518d6c81f96422fb404ea7e 252390 coq-mtac2_1.4+8.20.orig.tar.gz
 eb82b303dc74ca9cf63ebd9648dae475fd37afbb 3180 coq-mtac2_1.4+8.20-1build8.debian.tar.xz
Checksums-Sha256:
 7186069de5599670b37e58f456c7243520afa997668278ee1eb3a2ebf14eaed3 252390 coq-mtac2_1.4+8.20.orig.tar.gz
 d2e9c7df13ab572bcf6a5fe03086d32822a62e88601c1bead3411f085dada68c 3180 coq-mtac2_1.4+8.20-1build8.debian.tar.xz
Files:
 b2f719ba452e18f8c309f5f69074e640 252390 coq-mtac2_1.4+8.20.orig.tar.gz
 44f0797bdb0a844887cf83d1494c9c6a 3180 coq-mtac2_1.4+8.20-1build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml7s/AACgkQ808JdE6f
Xdnyog//behYOyTkCbSWDrgRyCkpFTPwFWGGA5O5hz5b5oMQ7pqSVm1VTSiQiiHG
QF5lxcvxuJ0K3Q1aPBTQnWGIrzkeGem05DoK02NetGLvNV0FeAtD27bJTCDP4EVs
3QSdTILqKj9jEUeMPiJV5ak9ysMzbqlwkTi583ibKNh46AZTEq2dTOrAk6V97R1j
xgVnVbE9NoXy/A5RHefrW3iN0pnI5bialM9fKAogE4655QJMWgfFUitHdnoeY5Tw
Dhp+qjM8J+JP78d+I9I0j9JYvtxm3m9GB75os62btKyqp2SKOEr1rp5E3aXOtUPT
F9Tvv5+sVmHUKJTI+Uxiz4tzalUO7Fce9fYmsQADzW8h4eOIa86cE+Tlg2uMtjYI
Dsqiqh+9v0Ys4aXcD89KDqeFKJcKt1EtUSGLTh47y+GqxQl0bX4f/r4UILd/+rTY
v99u2i7XLvqmv4RI1oPvH2AMgm3Pl4bvQioy4U2aPsc2QWBlIzcvtVMrN0qHIL/H
vI9piBv0jJhjmjMQpeUhiV+GBc4Nq4rlPRksoDVkWuGP4X2AZYyHvTFyKuBANhaT
vVzmfC9HjKnrFKzS89JAGcSsljVnTRfdEOr3SO2m/eor9qv36gdV4RdcjyuQnNE8
GiNlRsQv+S3hsgk5rrWTX4BJ9Wq3IDMim1eV8VpbAODNBklA5Sk=
=9KMx
-----END PGP SIGNATURE-----