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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.5.5-2build2
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
 3288edbe79b481b806f6558c916a8958ad6b8ef9 2468 coq-gappa_1.5.5-2build2.debian.tar.xz
Checksums-Sha256:
 01776ba5ad1cb509e88f0cb28c13c4930b92f38cd9e5b36775864468bbc1fd49 73595 coq-gappa_1.5.5.orig.tar.bz2
 291092babbd1c9a9a03eb91f25c03cec4979685163d68886de683a73ee70f855 2468 coq-gappa_1.5.5-2build2.debian.tar.xz
Files:
 eb267ad716104e8da16998d5bee08042 73595 coq-gappa_1.5.5.orig.tar.bz2
 41a7d09d17049d24d9735e73b8d08f03 2468 coq-gappa_1.5.5-2build2.debian.tar.xz

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

iQIyBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbci1EACgkQLIPbyOm9
DjfosQ/3XgIrGEYLszrVSAwZ30e2OLaSkDXj7jZy2Td4qCdc4L1fFIiTyoT89OEV
d90qHmWD/fgrE3lrl4mQGgTF9BiT79z8sKmeFA/+VIAxyliasbkS9HGaNyatCzL3
imGUjQXK0c0fox9/QGyxbtH+aDI9WHLH/jKSoKHHnf/GgKJh9+fRgh1ys/107e3V
xhI/cPw3K1oear2w7/0baOhRUvXOc1harPjpTmZ6zv8ED7L5G1Igq2CYJr+4Zm1M
eEh7L3zswFYi//pbV1kFKHHhgYY7w1X/dsZa+YtUgenqyuiWK4rG9DDtReLtp9K0
C3MnA1mNR6qzY1SWmMoo8di77FeSzYkS9R7y+KwljaIbeJchMq/ercaq74m5LRTf
YIRJ6Y1idTwejH48Gn+qrBddL7UaoUEgZe3cGv/UlTjO4mSQLxZUt00FQeLih20V
PrXuI+G3bTZ7lL/JLdY++OShR7Ia0a2G0GSwq5Ink7BOrQdL7Kq9siScytXnzKnP
v/FbOcjycLQxYUexl01ietTPsfPql/KFzBdiySMqKh00p6OoloCrCHtMnh+JsKrQ
CaGcuC/HZzz2S6ldEXftFYnW6+R2owyLMTSxYCzKGYMMjS2EgRxFduVrcWQXs3IK
gpufjCx/7FB8pKeL0kzG2Tw8byp4gp6tTnwchUezUaYWJCL94g==
=/vqO
-----END PGP SIGNATURE-----