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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.5.3-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.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:
 924dd48b2fa85b63bf46869ea256fabf6b0f12ba 73583 coq-gappa_1.5.3.orig.tar.bz2
 8fb0686d9c3d0d732afea52797834a1d68d56321 2048 coq-gappa_1.5.3-1.debian.tar.xz
Checksums-Sha256:
 edb3cb86bc15fe80b82e665811780ec0cf2bf3f19563707b22c765b1cb8d8c8e 73583 coq-gappa_1.5.3.orig.tar.bz2
 523b99c5758d998e414d9525d326f6e2792deb22199777347e017479d66a7130 2048 coq-gappa_1.5.3-1.debian.tar.xz
Files:
 d502efa84cb86877706afeb45c5c0250 73583 coq-gappa_1.5.3.orig.tar.bz2
 8f40adf0ada4b369a1accb75cc2be881 2048 coq-gappa_1.5.3-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSH+WISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRIhAP/jP/xem4mhZdNoWNOnYyqNMwGJPm/R/t
xHNiCdre6jdXikm2hFNFeI4Lp6dL1moYGrrGMC3ks3zC3emQr4/Ae+BnzEvVGsra
HKqADuBxRpwvke9Do4hFqkN2j51LmwZtnJkfXPxAAKMAoUxQn/lbQLlGcESZY+DX
e1ZHT6aWxlzsjuoW2UF4+7klkD0f35cmPpYGBu0wGATI8tEOVuQqCjDZJPIun8BV
Bt9YwUbLkQR/VCfWyxtMETnoFwj33s6w9qwKERioRcBnf8r44MPWwtrlEOjpNtf2
l3/83AfL4iahtRf773DUenEzqGPmp0s7szy5c8D27aq5PQnUCmRbaJU70aN3qCz4
YwON/Jy4lVvg0a1EuPQy2QhiSN04HfwHk+ZKytW8Ud3I0jwpVrHKOvM6KRl3FR0W
VeOONxTS/dZYCMY3IJLQ7Ul/DTifapcDQqRPra6KlmigCzaA3fXLBRZPj5Lo3xMC
dieEG1tLoK5qlMKL1eDnaW955vrzocKNVWJOxO37exyafE7ZgbKXR9TCTxs7JbfE
hyqWzZmGhLjS+tLsvW34h9pei02c8XmC4ZD8vAkOKGOM8+/lad27WVRMOB+0cYgR
nEFIsRsmXh7Ar2uB5sOMr6kzc9sVIm+KrtCw98+3/1nEqy8atU9KHHN8kwSvFbBg
yUhxzXYVm3Ni
=QVRZ
-----END PGP SIGNATURE-----