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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+8.20-1build5
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
 9957dc1d90e69abce7108fcd8d5c08d5c1de5604 3120 coq-mtac2_1.4+8.20-1build5.debian.tar.xz
Checksums-Sha256:
 7186069de5599670b37e58f456c7243520afa997668278ee1eb3a2ebf14eaed3 252390 coq-mtac2_1.4+8.20.orig.tar.gz
 6e60abc6c852b629c6473cccd269d3c8db002734c51a5b0347198eba3b90a3ad 3120 coq-mtac2_1.4+8.20-1build5.debian.tar.xz
Files:
 b2f719ba452e18f8c309f5f69074e640 252390 coq-mtac2_1.4+8.20.orig.tar.gz
 f2e4b2ee762ec38a78eb71c3629afd35 3120 coq-mtac2_1.4+8.20-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAme2JjYACgkQ808JdE6f
XdkwNg//T8SR+X4CwPv5MEY/YFGPx2MRQFTryemxuYIG9Ck1/pmYYupBNgvO0l2Z
qPApLM0zp2tC+WI3GK9aiJwPO9RrfDB1ZifVzeOn07tG0Lg9na9FrfbZ+ui5uLFA
t5wpnl8FZFTpEyMPK1JYH0hbqvRQt2MNqXOAaWVdO489BHdeiD2rzMP0L6vgCXyg
CNmtBB1WHz8n9WU9p0Y2oq08Z4o8WqzK1IWyNALSLLPrVuNWWb2Xyl83gKG5LLkh
tjWXPZgDjPuRfFTYSv4u5/SpNcuvhr5jaKQQTy6z5ttBGpqEZJyL6jXFbgChmZ7a
fUHfO+9eIvemtBMYTLFJ/UeDEWvwIfukL600ZZvQrXiDj8w2ApX/Dm359LqU6+g3
knPANhmQtynTjqxM6BKKhV9K8VfgaWj6dtppMToBs32uig4InQIiYmZDOWCFnhZc
rlyFBW7gDhSByYtFQGEuBRi1uLvDksF/L8yR/K3KjCt2ZZR6W7mOAnjU+7YN/T2T
A3l9Aa8nr4e2XpBHdLA3JvxKl7YSN3p9jUdcvocIXvAvdTi1CqPGSXyvT8kpvyte
Jkz4h1lv9/5MnOheNDocLYcCkKpnM5IAthD5ObPs5ISBu4UHA4OhYlg4gsYPYfcJ
6dUqactzl7nuN1QMdaN12xO10Zg5Z9vtAXUl392ygHi0WDEGHS4=
=5iV2
-----END PGP SIGNATURE-----