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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+8.16-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.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
 ad389ba1b5daf8d2d4b031990b3876778861f581 2428 coq-mtac2_1.4+8.16-1.debian.tar.xz
Checksums-Sha256:
 9595e3919b0164dbbfc6d349d9cf001875cb8afddcc10e9dce9f8e49c26672c0 251070 coq-mtac2_1.4+8.16.orig.tar.gz
 c5e278e70175f3b29c612ab6073a272f1087ccd1b912f73cf29e774b57d4d31f 2428 coq-mtac2_1.4+8.16-1.debian.tar.xz
Files:
 b7e5c7d4a7f3a59713c86b8a4c131d76 251070 coq-mtac2_1.4+8.16.orig.tar.gz
 689fa6bf857ffa4a92b3bf66328b4ff9 2428 coq-mtac2_1.4+8.16-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWXPESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRY5gP/1ywmu0YDZV6P4SRxsROofMVHaBlW6MN
KuDxRSnNSAQXE3Qzb/3Rv1UmEpKNgFiH9evZiEUddzqKzdp942JKlhUAcvTaXiNG
l4CU6nLO+/HqVISxO8x9bjEnxRLk+oJBvMdBoiGgszBvgaCsWXjA8vpujnvWNkO5
9Af3wpqkVOERfdXUb47QU/BvykJINuSPpFnLrPzkin5X9p2UGw9qcilNUoHLLYIK
U8WY+BENhZx3yROQrlY5OjZTSEGbHaQN9epD838n5u7STHw0/z9YhD0MgoJ1Ql6Z
9+jC9lVPr5SjL2ZDipIcRKvYJ2Ug00UkEyIcGyVDSO/cbsZXAG00HWNrGOEDdmrl
QOR4yl71WbosP6cd0BTprpSXzHBdjjxtU5iW9Z4fWHQQee9ppDHnUNMsYp29PxvN
1pYWN5jHZ0kBH8rOkD6XzG49u6p4Sn5Q4XBLP2vEa0OKGp5U+ax3mA1Win/Xu8Q9
ww/tsEUMBAg2rqRuNTLoW1L22BuWqrjYmcNozFjzeSZqgss9SatvjVAGIlDkRTZQ
wvJeJqtdYRHfYi9ZdPWpF9khuDB5/q8GI6ZYgVHy0UvVGShW7te9mLJT6P7cBXat
xcqszsG28/Ukycg74DpOPW16JnldDHB4DbUi5kmBRiZoPTqE3s2W1nUmNAi04EXf
rlc3esw6aW3d
=ujZB
-----END PGP SIGNATURE-----