-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.5.5-1build2
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-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
 382d91a862a9821a50d6261804631f0ddc7fd060 2296 coq-gappa_1.5.5-1build2.debian.tar.xz
Checksums-Sha256:
 01776ba5ad1cb509e88f0cb28c13c4930b92f38cd9e5b36775864468bbc1fd49 73595 coq-gappa_1.5.5.orig.tar.bz2
 078a93084adc3ef3f710256e7a6eb8ae77180d22457229a22cb9cec05ca4c21c 2296 coq-gappa_1.5.5-1build2.debian.tar.xz
Files:
 eb267ad716104e8da16998d5bee08042 73595 coq-gappa_1.5.5.orig.tar.bz2
 0f2476a09a5ac6bb2ec2663a5c653938 2296 coq-gappa_1.5.5-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZCWoQACgkQ808JdE6f
XdnYZw/7BxlB38Ph+yiR+ZJtOaZz88GR3idqa5l31soNuI9UAZOh8bwlaeMNwuy0
Z0ShOpHO2HWfDhZ6ryWtXTgaRn7SQ1UeldN6zTMeh6I87TxOnRGkz/zefdpebEuK
dQWVyY87UuTj6xjSj84DYdsTn74WfrguyQ18D3J+Jl1w+yGfu83XyAq+E1Osyn/B
7wybx7sNdqTu3XTtExmK/2MR/4hQOzzmvWgkHXVmlRZa+9X213k+ZluEdcUla1v4
P6ah2hLCuzHqDjtldAivb+8tq5t1P02biTak/Lw/Jyw2QvCyGyRD8+llSLvVkXY8
XN8U/aLLcenxtL9MF8wxpiR8lfhvsD7ovjje0GCDQtvYA2PpxdHPzy9VQa9JgBry
hqHc1Lj/kKbSTL90E4+wuPp/6ptd8lBWnbwWo1yDvN2kvWYohP3ddMNGU4igNVXR
O2DPKGKw7isWrHUB1mU8HoZq6hXhSDFNiGT9Q6iYog8pCTo6iK33Bbc3ad/AymJh
Hcaja3eogoLdug7ofOjh4l2F7+Bmfw8eN2uou15RyhZSe6bgyW6CbaWygMK/OqXm
umAUalcMtY3QFOmEbHLasFQ8FjVEhIBFMQKZx3Sms0+fKVjTEReNLqoIo/Lntl4m
2catty1omL2Ua4hxvrKnepELX74tq7jhzhYmhr7HupsyMc7PZaw=
=hVX1
-----END PGP SIGNATURE-----