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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.6.0-1build1
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:
 385841bd79cf860d986345ffb54045ca02a9d852 75644 coq-gappa_1.6.0.orig.tar.bz2
 571b613f4c01e3af3e30453a93c07d53805b9526 2412 coq-gappa_1.6.0-1build1.debian.tar.xz
Checksums-Sha256:
 b928c74832ad4e2442c702e99f1be06682ccf5ef23a913bf4a9a0c2a7f813497 75644 coq-gappa_1.6.0.orig.tar.bz2
 e54bdb9d49981a2c7efd6b6109e5557fb14592ab834155a8c7a0607358f06f9e 2412 coq-gappa_1.6.0-1build1.debian.tar.xz
Files:
 98009fef3b676b80f457b4ff5c4a466a 75644 coq-gappa_1.6.0.orig.tar.bz2
 a9d71f0ba1a0c6e8649735ddeba28750 2412 coq-gappa_1.6.0-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmeeyLsACgkQ5mx3Wuv+
bH3b6hAA43rXutSlS3l3xbwClcQQ3SCd4qf/murSXHlucG6JSVrk4r4WHeyNjP5b
eZ2Eh+MOOWVjOSBB0ErbMF2vQZqiwBmbZ1BE85Bj2IA6uT+9da3OvFrfc0XU59wV
CyfoNYgf3oI3ehPwwP6TjCqhHoluzFfOn9Zs8prCOPYXm1M2V/4EimP5EGZIU002
H1amKQU3VyG7MKWF+GGm5xSxT5N3OFKQO04ug7Zk+YVT8wzY3rmvTiuO9+IaUBg+
5EJLHU3MHM9TfP3J6kv7AFcGeltKc0cifGGCWSMV58RybTnkDl4G7b8BO3OmAuPf
8t1cqKkwTWk7McF62nU74r48CPk+7BUFKXVLP4161ffUVBJu0J8KmAt/S1Xiq/TR
vDb5Ry6LbObuNAvkYxl9UxVoJUD0XZnnIO5q2xSX9BLzoV8+VYrX81z+O5E4IzVG
DWMjEa8+THg4kEuN1Ou/5dM+74yZtbJHDLUC13DbxrmiR1KkbGOG3N+2PKYRk7rk
FPYjDyMntv1h0KHM7A6ABwHmzfWjmSG/keHLlhP9etWblwa5pKnmcnZVqKIOVNLN
mQzCw7LErl+cX7R1CwH6p+H9fwuqfVtbEacg8yctEhE+svKv9fFMIfZLrRbm46NL
i5j+tffsPPwO6doE6oBfZPWyi0Q9Ye3vbZjhlmSGt1k7Rqa0q6Y=
=Bz5J
-----END PGP SIGNATURE-----