-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+8.16-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.6.1
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-ocaml-dev, libcoq-stdlib, libcoq-unicoq, ocaml-findlib
Package-List:
 libcoq-mtac2 deb ocaml optional arch=any
Checksums-Sha1:
 e7fd6a872a5cca4940d440bef620b83691217a7e 251070 coq-mtac2_1.4+8.16.orig.tar.gz
 b9c3e4e94d7ecac99b5330c9dd366ee123ffec35 2512 coq-mtac2_1.4+8.16-1build1.debian.tar.xz
Checksums-Sha256:
 9595e3919b0164dbbfc6d349d9cf001875cb8afddcc10e9dce9f8e49c26672c0 251070 coq-mtac2_1.4+8.16.orig.tar.gz
 82f8fd0664d323294be6b693c8453215f42645014db500ba26b686ca89eceb76 2512 coq-mtac2_1.4+8.16-1build1.debian.tar.xz
Files:
 b7e5c7d4a7f3a59713c86b8a4c131d76 251070 coq-mtac2_1.4+8.16.orig.tar.gz
 37e15cc471ad4a2a17d870ea33a6465b 2512 coq-mtac2_1.4+8.16-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOBBeAACgkQ808JdE6f
XdnCjRAAvhX+sm3zilrNCzLGilEtv0N/aKyyN7O1NdaVYrVTHYZPaH2/wEBDjApN
VrmQ6B9T5+LtMsx1ub422h+4Fi0gXhJRU+exEb4GBX3Y1dewXq2VT7AQoRdzsrLn
2Gwaa1n5XIji7pRy6DGTcJ0uEVIY9+52OfquDgaFN/cV7WQe3T988LAQxoDJCEZu
rAQCVCeus+/kJucxVpq0w0yLj3/+Yisax/fIOTwhbvSe4fZoemhVcFQNiKOb2lrp
VtufK6ngJ+Z+raAV5qB28FS7zMO8uvDCSvfQLGptusF0qhPZElicIYhsaXuuvwMW
tWeRUjck4DsU+m3YAun11ELDENeZ+MtQr4EXnNKvVz8W6sWa9JN7YWmAR7fzeJ9n
ScnJCTl/a6cSBQjGYUmq0T2oL24ndOFXK1ftaoMjG5nUm8cFRJkxkQEVQEgc9aTN
yfcT/3sPUiRJJYj7CvjkW1GlAHfkh2SZFG7Pmwfy6t9zwdH0JB8iR0NwaRX+UmD5
YxvNTwWGYWlxUVMp9JtKlTf7JpcCACEXmYZPU94c8EaQmFkeP//FkidTdjAGyDnk
m38j3hJTlq9sxP+O/tVhCRV26IBMZ8KvjzPCt+CRe+xjhgy+ayf6ioc35waXamsg
srFyDQoeA08lfeNt9+RGlXSQ6XsMs1m/E23q9s1FMSBLuMwLek0=
=o5gZ
-----END PGP SIGNATURE-----