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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.7.0-1build4
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://gappa.gitlabpages.inria.fr
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-gappa
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-gappa.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: debhelper-compat (= 13), dh-ocaml, dh-coq, gappa, libcoq-flocq, libcoq-core-ocaml-dev, libcoq-stdlib, ocaml-findlib
Package-List:
 libcoq-gappa deb math optional arch=any
Checksums-Sha1:
 a9cbc12c2e5fe4ec7596841abd3d050227c976e2 76391 coq-gappa_1.7.0.orig.tar.bz2
 b8d1650d66de9ee561e70eaf23ce1fcdb7b8defb 2372 coq-gappa_1.7.0-1build4.debian.tar.xz
Checksums-Sha256:
 a3c3ade574d20e08cd975377ebc31e1b498847f6b06e9f165b4329f1f1b292b6 76391 coq-gappa_1.7.0.orig.tar.bz2
 f62a6b4b6f8ad7c542562db0f3b6a0902be6467f400a3667c263afd8741a7155 2372 coq-gappa_1.7.0-1build4.debian.tar.xz
Files:
 5697b7315301fd9034a649f59784aaac 76391 coq-gappa_1.7.0.orig.tar.bz2
 26733f41883d75d2631bfd24e744a97a 2372 coq-gappa_1.7.0-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmoS9MACgkQWWH9vpxh
mAn+Qg/9FL226N8T1bSxFdciDk9HSf3p1l+3fGx8AW+4n0HFfkpmqiwwn4IRTQDe
u0yL/0FNC5uguyLc6LbgT9uMpMxyT9mi6jHt67hl64im5R88imG9yFxK41KLq2RI
bYRlLSY1LJZbPGAMYCq2IWdf5hSKswBQY/eiu13if59ocr4vulWBpI7NGz2ZV0Kv
8rQmTepEAxIU2WPI2hhSw70Pw58SSG7A4a3VUKTYHgNmooZwcK772OUk/1XGmvTj
uTRtI+GEFahnkY7hoNOXqXvPfHxpoqJCuReuNXacnup6/NbcI9yo6DH8YyqZUFnx
yK0K+bfv9d/N0g7uhLTYzm7eoM43F8ymlyROHOU+TkpVewktMgNu+VXnvtcxGHyC
gplvqhfXhIVX6txkeukd2O7QlzY4zsTdKZRls3Y4ICxXRUNaRk7+tw7tgR0xaRnL
juO+MSOLrNdpYSjecwR3Xi3cApep95+w97Im0o+duA5we41Mf6Rp2GthWE11mWTP
PpnUZ4kG9DqzM4AdPl0T0k1MOcoEwmdjQozS1xiQHttxEspDfBYe2QeNr3Q+Jy6n
piBW0bAzL8B7KlqsiF/4QaqYm8Le3hw4athnXAOgD05RtnqlrFSAyiknWEEGbWIG
nOLTLk+1DzWzrImIx/ypr2z62iMHMFwZuoFfHmyU/byMQ2bacbc=
=1HE2
-----END PGP SIGNATURE-----