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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+8.20-1build1
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
 591251f1056ae6fddd270d99f117055ff5473f3e 2988 coq-mtac2_1.4+8.20-1build1.debian.tar.xz
Checksums-Sha256:
 7186069de5599670b37e58f456c7243520afa997668278ee1eb3a2ebf14eaed3 252390 coq-mtac2_1.4+8.20.orig.tar.gz
 dc23cd91103fb959d7c84d788421bee464fc8ce116dda2aa07f01afca70ae1be 2988 coq-mtac2_1.4+8.20-1build1.debian.tar.xz
Files:
 b2f719ba452e18f8c309f5f69074e640 252390 coq-mtac2_1.4+8.20.orig.tar.gz
 88e71a3161d2b7a8a52e777a308c4364 2988 coq-mtac2_1.4+8.20-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmdCycsACgkQLIPbyOm9
DjcL/A//VBRf9wKXq4BrDRv51hSZCowltHVa+7/ongWCPQRnviQCbJohgoYoam/d
1klgYKRTtdmqvAGuNtTwglPlMiA7ZonoF0BcwPbXroxTuYqiPljBneHy/5pGa300
oGHVGRzXdBLFvP0MdXTLgRHIVSUYPeDGDDBm6X3gkDJe596kwKuySqHipPNt04l/
qnTRt4LxJ5lxg7Hzzs3jYmF77qAliTp621mLHXx5NXru5CjKRZQmRUevoTvVbVYi
QAsS3Cr05nbHiqpXjtjflb7EbszC6xB6+IDfkXWR0Pt9HafUEE03tbh0qmVPbwa+
vS3mXTrjk+E+bo8Ne386siNeOqCZQwZd/1DPrBEpwMq29iOyYhdSInFdq7nxrRaK
jk8X2OB2c4h6sOK06koNv+8W0zqQZhpIctSWudbql0214P6QgST94VC9sMdkQort
SpAMYw6kz0K9iJnwbia/LmFxQdSKHdxR2GHWkyYugx18XgL/8as8wMA85oSwJbjf
uNbH5lXHF/FMEn0DgYYU93m8NWogdmGRgEEYOuw/Cb5mwq52g4nmIJiD2ddJU/TP
zwOhenVjnn+M7jM8jvQ4euwFX/jd3hLjkYkN0hH7RmxSkyfcKvL+4VeREzhvNibd
WEzSN2D6MZTUtpE3sMPw07Nhr0OVobaH2dEScYcCUBrAanH8yqE=
=r6nd
-----END PGP SIGNATURE-----