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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.5.5-2build3
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.6.2
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:
 a51d09d7080db15646e0183a35da5247f372ee26 73595 coq-gappa_1.5.5.orig.tar.bz2
 4a8cb13840bdb8dfffa866d17652c8f3f7b8fcfb 2496 coq-gappa_1.5.5-2build3.debian.tar.xz
Checksums-Sha256:
 01776ba5ad1cb509e88f0cb28c13c4930b92f38cd9e5b36775864468bbc1fd49 73595 coq-gappa_1.5.5.orig.tar.bz2
 3aae4931ff214bb6c57947daf8c1bcf15cfb4c8ca0452e43f8b7e68dc55bdb21 2496 coq-gappa_1.5.5-2build3.debian.tar.xz
Files:
 eb267ad716104e8da16998d5bee08042 73595 coq-gappa_1.5.5.orig.tar.bz2
 b0b17bc58c907187d79d504ad1e85730 2496 coq-gappa_1.5.5-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmc+2/EACgkQLIPbyOm9
DjdruA/+K9akG0I1opOmJXuUVBUm/lSNwaGz9pSGE4Svq7kOlmKS1xmaKZKzXgxp
RZoHnnnIGtcNQt9YWm0L2POoBmo94QRQMW1C3A8Im9MTxwjY3OrJXa640DP5Dl09
MdjdLkSAck8WuMp+S1efvonuX168pykFa8MHaiOO0oo7J31UXEy6XR9Fuo8nlIvA
mPOLTly822HN3e/7/eOgzDXAHxNrgASkkTA84IYZgEeZSKVjvXs+dz/4BhvUz640
J9bxQ6Op8vRkNhhOsz17RHb93vGIjV5YU6PCLBo3EvNAzv0IS4Ug3ZddFCHtxh5O
lqm6PfZ/RQ9CA5Q2tvHHLYabfhgliMeYS0hlF0qTGpmc6kd7h0Ie6jCBwbJH020Q
5LRo2E1vHwvunWguq4cktOggH/1Q79OLlKMVWdIfy4+7wnKwFuL9LcK1HDbx8y5u
yBqkeaXXzp9U+cUTSeS3F/z/TXovY4TXxlX9isJd9d8S+ykewYe7SU15qqagznnC
zjjBcJJhnKSZU7faDe/DtrN/KO85jS9Ghyc11kv7IHkYnavu0oHKXjRCu0gaQCEs
Fy8Ijcez4y/GvAMrNagZdnrZ1kq6tEUlXlETADx2E6AQYcVyHnTD1OUyl+Vj7kjh
Fq77N3IRGAc96DCA/lsx0PZ51Ov757Z9Dyp7OTsL6RbnZCuwDJY=
=polc
-----END PGP SIGNATURE-----