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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+8.20-1build6
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
 f4bbc79ae472b35ff0bc02bbab2349e3d12e5ac8 3140 coq-mtac2_1.4+8.20-1build6.debian.tar.xz
Checksums-Sha256:
 7186069de5599670b37e58f456c7243520afa997668278ee1eb3a2ebf14eaed3 252390 coq-mtac2_1.4+8.20.orig.tar.gz
 c68c1f6f80662cc9b73e776ce7f7d5a3210ba7f384aea9f070d963d0ad7b61d8 3140 coq-mtac2_1.4+8.20-1build6.debian.tar.xz
Files:
 b2f719ba452e18f8c309f5f69074e640 252390 coq-mtac2_1.4+8.20.orig.tar.gz
 1305ddd2cd62e8a6dabe924792df2dfb 3140 coq-mtac2_1.4+8.20-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhVRk0ACgkQ808JdE6f
XdkNhg//aDP7ppSh+MygN0OLP2QVXLA9dIBIkqSYvbr+/mWOEHbcCSbUw/neTuhj
RUjWDKCzxcJMhDETiU5s78tVyXdv5ywRtwW6+3avbCtVjA0bnRQaMwC3+ocLlQnR
+a8JaZKzaz47/Gpkc5mNOJgEnj3YnfL8QPgLmARsxkepFf4TRQ2XYUs1d9pojwSd
omvIJrt93XwXNiOMcGtbS2k5qcAKUZq9NOcf1388BhclL2ckCS88R+Ro3STOxtpS
/UmFmxXFioc0WSJev2cg01CfRD8Cl9vAAzr8al+uaZ3KEpCuwfGFGPeuC4DDT0Sb
Vnr5MaUKAudrHgR7OWxR9vIiyuRTVk9Z/+jPTd6bBF+kqPga+rJQYKAi6JAc9Ed0
PJh+6GGYXFic37ZwUzc+weYeS7ZvgLywjJNvo5jZ8zLdG2iB4JAxknpzb1bAxVOc
MryTcLN6Rq/ea3sNo5D3qe7a0uRnFbLkq+NzcYPT/qR6cg2J/BXZtJUWBDnvJR+i
Uxda6D+NindIn6Objy7ssqoYTtOwwmZ/4ce2rq7YXHvv+yUJsng/C+NGpkR6J49l
yQEt66oRcWgMGKvjcsGCGWtZG1Xt3bqERxGncBcNV1gEBp0H0dKA+AJyxp92x6yx
VeMRpoxDt6VqoxCOL9dwnexUh/CCIdz0XBJqybTBsoIMpOZ2n4U=
=rYaF
-----END PGP SIGNATURE-----