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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+8.20-1build10
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
 d2695061db3c5b8257f9a2b2a895004d90238ac2 3248 coq-mtac2_1.4+8.20-1build10.debian.tar.xz
Checksums-Sha256:
 7186069de5599670b37e58f456c7243520afa997668278ee1eb3a2ebf14eaed3 252390 coq-mtac2_1.4+8.20.orig.tar.gz
 6b9cfec61076aae9de2ab747e1bbd8a0db7f6c850853479195f8d43d7e23ca22 3248 coq-mtac2_1.4+8.20-1build10.debian.tar.xz
Files:
 b2f719ba452e18f8c309f5f69074e640 252390 coq-mtac2_1.4+8.20.orig.tar.gz
 71f37856e14abe1ee4b23cd1162af985 3248 coq-mtac2_1.4+8.20-1build10.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpOxywACgkQ808JdE6f
XdnfThAAzBof1JSdaRHIwyTf0PBZdLaAu+jk6P9NYExJ1rhmX5WGXN6E2l85yOpO
dgRi+e3SN6LLTZuCjxk3b4+M9kENw92kxhPnxV/S0C/pgs9+266LAsto0d4Omb8k
AKJopZZ8tjQqHhDaiu/eC/r/2tqbMyAuxE1vBoNVLcqluebMoJh8VpMFoUi11r6K
5MwncKZP7UhDIHrhMCmai/jNkWvaRHLOxcnhpoIHWA1hhBnqdCGMx51KDECCCWn7
clCEpZe3sgTvuBCVP1HZ/zZiRuj0MYmqNztRE5+5NcNCm9bmwUaOKOuEwRONoMD8
EJw+zOSvWPrgY2EyXhUpxzgbktTjnPgXR0caHI+LrHhN6aQ2dcUvzmwHz4xIrb9p
of9wMC0M/ZwFXToy3CyDFD+tgQCrm05plHDPgCcn+PxeeCSW0wBvJwyieyQG0KgH
WcwSuJZaPPIkLa0726WjpaIqtS+Amm2jyVGicXklnjOfvDplxmT363YUTjfT3aWz
g0R5tF0YiEKwIBryrgd1Mf1FSBHfI2hMhEd2aYFF3f+HSOd3tRjh48HaerWJXUm3
bbfJ2sbZXXWWDHziW43aQVTLMEg0sWqCDNz5y0QeWJ7ivQj3gNZj14CftLNUes55
ePLkM2EGQJLs1rP4Evbigf5+DQOVZ6MhMoBz3/grV7IAEUtDkns=
=vJpa
-----END PGP SIGNATURE-----