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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+8.20-1build9
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
 54e04033d1a2081d162a9d18493ff4d232ecfdf7 3228 coq-mtac2_1.4+8.20-1build9.debian.tar.xz
Checksums-Sha256:
 7186069de5599670b37e58f456c7243520afa997668278ee1eb3a2ebf14eaed3 252390 coq-mtac2_1.4+8.20.orig.tar.gz
 8267b4493367e9ff1eb469a3a8abb7ae2a299f284c1cf7945b37ba81b773a3c1 3228 coq-mtac2_1.4+8.20-1build9.debian.tar.xz
Files:
 b2f719ba452e18f8c309f5f69074e640 252390 coq-mtac2_1.4+8.20.orig.tar.gz
 c41c21e3c50abd2b309e2793b492d2e6 3228 coq-mtac2_1.4+8.20-1build9.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmoS+AACgkQWWH9vpxh
mAnfOA//QlsvJQtOt8SkZLcigBqFd40ArPQcrUSHnk6efsRhU2z71FjP76TOgabO
4rT37csOTb0PMvzaGFpftmec3zLdtg9enmrBv4mfSEl4t7iA/hxdkcqP8yKFArxH
NwauFUSpAsR5uJJyrkK+6Oi7Nc/hiJhl0lUzUU0n5GiW+ifUcE9BCThzsObdidU1
oNpNNDv66PWfU6Y8R4iTTdnjUqCFqQ4/Y/clLFpLwpI0vVxzRL1KA2UGW5Vc1Qe6
otLlZs2W3EPcpTcePdho9E62Q56+fqeyIZhdMhgrkNb+yFz4DYmPpBEiug1T2pC9
Tmf4CXPgDrnKV9HyzkMI4vgn8kRHVaC8a0BKz9V2WcsuSuBQl564B+cq7G080V1O
4hxch2stcegmnY58m3gpdp0aFGFZ0j5hum9IX6fG3rZ/NYq7SaGmZxuLS3BbXzci
p6qHLeqw4imNPgUFUEt8iKtM//XgwjMJ2/Z4UCjUiinNxv6xQV78RR3idUCW+YkY
iRqDNI/ChLwWkwlZz9pV1lw+DrLz/ZtoL62sSTSbh575FM/7yF86pvYTBcxMX4oS
mCctEMHJ2bP/KFmqiOePe+1QMsjrY3m7fPoUC/Byi7AACm9AFqOprTHbevpAzomg
6Nq2+vK0hXgm8XVkIkYcaRWCTZ1R/O//H5TcKD3jdqOwjtbrCow=
=YtFU
-----END PGP SIGNATURE-----