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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+8.20-1build7
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
 d473212a58ac03e8f90d430ed28c49689cec0566 3164 coq-mtac2_1.4+8.20-1build7.debian.tar.xz
Checksums-Sha256:
 7186069de5599670b37e58f456c7243520afa997668278ee1eb3a2ebf14eaed3 252390 coq-mtac2_1.4+8.20.orig.tar.gz
 1b27b2fdb186036c599aa4b3a17bac3da2ca0b6113d992e0026dfe183c3fe6a7 3164 coq-mtac2_1.4+8.20-1build7.debian.tar.xz
Files:
 b2f719ba452e18f8c309f5f69074e640 252390 coq-mtac2_1.4+8.20.orig.tar.gz
 a9e1ef4bb67210bfd300023de85d52e5 3164 coq-mtac2_1.4+8.20-1build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlb9qEACgkQ808JdE6f
XdlD8w/+P2ti/9qo1NYqTfNdMyVfNjK7O3q3qUFaBgjzSthKHVNkAMDZKAzxZYRT
/fjEemv4MTV4SY8Vp3uyX6GO1sE2Lfd+kDTDlFfSpi4eBujSGntQGX1Us6Wbon3R
iNAs1k43ysCP8zZ05FpC3zhAa4krOwdJTE1wU9ihr0dM7u0v1uH4DiJI9ti4HsN8
h6ctmaAfVotNDrkT9pXrQZ+FsI72V6RrcX1w7xkmBlCJJbL6oZC+d9VXIyo8+AD1
L3BbN60iZkIqPSOQo5vNCVAnQBwbdn/YsXiMSCjccthassWf2WJEiRxjgOf/2cRt
DtLeKeW+eCGK1nD2D1v3QQIqUU+KEJiFRpRQRkkS/PzkNkfKSWLqsfhIMsEeOx0v
wClxesbASeP4odOikhMf5tX/DvAU3E0j2V8ER3Bbla5ZtCLy+pN/i55Kn0lhkTXh
/A88IYp28itLWaILJSKgEdBl9m0ZzoxMbhcDu5oRVzXxklDKZ+3ixqvsx2XvATQ+
7niklW/bSZ2qlz5j0+Pts0SXHIr6glxaEmzmeDB3pc6FpNsllv2kFWB4kIz6noyn
cbK8sSeB9rrw+H1OKgMbrf59mnw2ngmhH3lnZ1cMeK5ygNFgvSgkCobjC5Hf9FEH
f0hAyksYZ/6fZSheTT8Lgx6ohJmiX1gUefTSXVr2oGbapZVHn/Y=
=utch
-----END PGP SIGNATURE-----