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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.10.0-3
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.4
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: coq (>= 9), 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:
 df89e83afed7aa789336b04bb54fd36912e85ed8 91600 coq-gappa_1.10.0.orig.tar.gz
 bf8655eb48349be761d178d3b3bfc9b9479ddb4b 3588 coq-gappa_1.10.0-3.debian.tar.xz
Checksums-Sha256:
 4b709dffd10f50673abe3627f1c69c1b05e54b2831c1a700ad4b213245d915dc 91600 coq-gappa_1.10.0.orig.tar.gz
 de9941f264fadca765e6bc8a80beeba71a68ae789315a822ffcc9862e32c96cf 3588 coq-gappa_1.10.0-3.debian.tar.xz
Files:
 aa8ac95f156180444b97d91e3f2e3275 91600 coq-gappa_1.10.0.orig.tar.gz
 57e94a1c87218e529050aa3ea8c0534e 3588 coq-gappa_1.10.0-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpwoLQZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUZ6fEACIwKQcClb4Hdut8d/E/jUf
j2bsIx53mIvNlRBg9y2XIWDdSuSrY8bjiZ32/9LC6PU2boDgbjVutRihyq0x+GUH
IZxJuywA6pVjoVVNTeOkKif2K54lx+tyhKwYXCQoUj6D4N30ShGrjgxz+SThHJbF
CU0JYS2Hjgj54KSyZYQUitZsGBWFz/LnbDZL3lXRCM/2OKrK+gXEtXfE0d26KknR
Ri0IMLPUvVAV6rtUZ5ef/dgBKqRJFETelYP42O2cnMeknIiXlMujPtdel8IBC6yr
ni3w6qfYC5eAf8EQY+txO/ekI740JlxmXaGf7WB+TW53GGNXROP2X/F908D9K1Fd
FScXoFhGiLmhLsGYqAL+s56HdSyMmxhnDMmJkY/NfM3UISDDWHhZNT8k32Nk0Mj+
IdLsqxu1s1AaxUDx7m2rKfhql25jt3tiGFOqzj/WSHX2PjuGTs6oQDLXQtcZRnYR
Dj3XWyUqrzakR6qArbVuXNwxdhYDKIWv0ALhUKZJlGB8ZyeQ0JYRrYy+OxX7kb5m
VpbbF88XRSopTdUGtokvg2NXk71Uya9Xl9haCTSn3MBxu0NhazDtnu/Ny2vKfuCa
50pdoY33pecdM2p2lxXveRNIu5QVyimk0Khf+V2sbORIJuWbxX+v/57Bsao9k3OZ
63ZOgOjgmN1MXag3etN4vA==
=qQL1
-----END PGP SIGNATURE-----