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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+8.17-1
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.2
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:
 791d696ff52ceef45b12b87c520190abb807fe82 251587 coq-mtac2_1.4+8.17.orig.tar.gz
 b43aed28a8e2fddfd2728f2b2642eba1403c3e74 2612 coq-mtac2_1.4+8.17-1.debian.tar.xz
Checksums-Sha256:
 88795eb5a08debde60ab1a2eb7c9925fbdaf561e240e3c807528dc84242b555f 251587 coq-mtac2_1.4+8.17.orig.tar.gz
 995fc9adc8d9858b900a363e2899668407909ec06b043c9876bdc8ba61b28261 2612 coq-mtac2_1.4+8.17-1.debian.tar.xz
Files:
 6e43b1df6988622ea2893491bfc64227 251587 coq-mtac2_1.4+8.17.orig.tar.gz
 ceb4ea50fc9825c90f70af8e0f0fd150 2612 coq-mtac2_1.4+8.17-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSH+dUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRu6oP/10L+3ezef3bKxSpvPyk3mbC5g+O7s/2
8pFLkQuq8uNGp1GVrrioP451niMnkBPNtQWinAPuPaVfbrLfD3+IZpYJr4r0goL9
nnKdJ0HopIMp+KwxEtkqMwtF7ARD+WxuGvRcP4vWKl5cPSeodNZIQMzL48E8jlK3
XYy9Vqeq2qNwfLaXH6PDQqI8edLR7m5+BrblCh9pdQclybniNGFy0rmmFUkjQr31
gpk1A1bAGrj8KLyFBtVGuXSnpt7Qdjl05/7jRyLxMT4N0SzDuHzdSQ0maYoFo1CN
KrhKnawpxl+5aD22WmH7IC72RALfdoYadYD3lexxjB4lJd0a9VIufOA7/hEBbGpM
2OBUMCSZiybINBKM2ifoJYz3Fv1bPQMfGdso13i+AgN5TmKBSZ+OtpDbGjsntQu2
44bAJP/+y2sSOM9LXHGnRI6sWiNXVCwsbTvHXs5MELEBd3hd638+l6weyEFRkWpu
UrLdNSng/L7IZMim0U38i43Mvmw7CeZQYGdZ3epCgCoVv7t6zx10VRLQOeLk/UG9
4iV4xc4pwJlVbehRPVHDiMlJIQOTBpNN3ebh5omnog03jnzPAw2dykOYDGscSblo
6hSYPXqrnbE+1J6SJOQP0q4lKiC8oK1JMd7cBTGkoFZd+FPCSsti65alUrD9xdbQ
lO4C83yAy5Zi
=oLYE
-----END PGP SIGNATURE-----