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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.10.0-1
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
 4da51f7be536bbd2599bc05d8ec4c8f77bb0e8f5 2280 coq-gappa_1.10.0-1.debian.tar.xz
Checksums-Sha256:
 4b709dffd10f50673abe3627f1c69c1b05e54b2831c1a700ad4b213245d915dc 91600 coq-gappa_1.10.0.orig.tar.gz
 3f64cbf2958ae7a2217fcff3e99255bba9fafc3aa4b5be706c2933770fe226bc 2280 coq-gappa_1.10.0-1.debian.tar.xz
Files:
 aa8ac95f156180444b97d91e3f2e3275 91600 coq-gappa_1.10.0.orig.tar.gz
 a6981a54963a162ccdc796f3fa567027 2280 coq-gappa_1.10.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpRFooZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUThgEACJ1uZgJriDlexmJkgX0IHl
4R5W1gfLZrNw8/uvw+c4lpZLVLpHauYpVinunKjta4NE3RiXLZmVNpjPu75TSbbY
epDB7RHKZTkbvfDJYAfXRLK2bGZoQ+5/Blexlf0wrcQ+ZZ0BsUtRWEGhW81YNzy3
kQvehQAKuBNVmuS3imzjGmsyDNoBfEOzykJoooED8ZjuI9bvE5Iz2KOxiSgLSLI1
M5f4VChvuPucyiWa4+b9wzpwKHv/qiJ4RZdCNJMu8kQEDa+MybAKhybVVmWxUl9V
keHR49tF1kFYDv+3JyaUp27ejR1pJDggfbAs60sxdKma941UXAZFM2wj5ZLzwYbr
vEPVrXCa/N4s5w64V65108XHt8yWfmbHtO5ylFuMvUngvUQ4x7JqRmy5MYVXCCcb
kWarLrunbpgEMRJT+6NnWC7xotJ2KMiDGQUd2fZXzfA4N+eddn1vRRsq8ELzzHBE
coB1EXyl3WfJBy+33jAO+6B+kD78oznMUmT8MQRUc6XMHb7RgnHK/v3Bj5XWsMuY
Xf/+W+Dd3jN+Pa7/Ty6hEgQt0Q4HADhJgOmc6KE1LRWxrhIrET/z9Nzb8s8aJN2Q
uTPohCTG+lPoEb7Pl+igHIiPoBtcVOq5WnFOPap2NOrvexi0b5QImhGKYcEa+jwB
VCGHqQSW3W39g4q8o4OjQQ==
=r37Q
-----END PGP SIGNATURE-----