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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+8.19-2
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
 2593ffe7ff3f8a788c008098ac4079456484c56c 2856 coq-mtac2_1.4+8.19-2.debian.tar.xz
Checksums-Sha256:
 7906a4302bbed3325d766f1b1275303afbc660b8dcc61870924fcf56b04e0d3f 252242 coq-mtac2_1.4+8.19.orig.tar.gz
 12781a15c400eb4c8781ff5426ecca1757fc69cd56709ca397a6da2336fbc9d0 2856 coq-mtac2_1.4+8.19-2.debian.tar.xz
Files:
 4d4d247f672a25d9c8b59f9f0ce38d99 252242 coq-mtac2_1.4+8.19.orig.tar.gz
 34b078576bbc34dafccf4fa2229ba6a5 2856 coq-mtac2_1.4+8.19-2.debian.tar.xz
Dgit: 53d40fad587b76a357f7c098f3e5c7ee3f492b20 debian archive/debian/1.4+8.19-2 https://git.dgit.debian.org/coq-mtac2

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavDTkSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBleoIAJAbr7+buCsz+efOvba76xUBYG76hL0X
NoKleiV71WJtUbwbJIZmA/7rdXS8OiXyoT59YI+pMQ84DuEOzrOYCeY5fbS4FfH/
EK0gpW6L98myU+cdzCrloT1CD+hUU9OPLuOg3O7C5M7pkQqEB64BKjiVAG/8logm
uuH4S8aN8Ig16gfOYyMeeL1FKJl1VKbwIk5iB23jx2rKtiwJhBHeuChTuwuHbRhM
EFXn5VizkGWyknSHDtE1EJLosYDjjmdWe6VbOHfWvWkYkHQ7VWryRHZ4JnkFmUJS
KXcMrjC692mEEenr7DRD89XnOlCP2SgYJE+BD98ZIurAp4yXFFAz5hs=
=ShT1
-----END PGP SIGNATURE-----