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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.5.3-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.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
 b1c148e8537cbe379ea3d2c59a7aa9e0af325e68 2116 coq-gappa_1.5.3-1build1.debian.tar.xz
Checksums-Sha256:
 edb3cb86bc15fe80b82e665811780ec0cf2bf3f19563707b22c765b1cb8d8c8e 73583 coq-gappa_1.5.3.orig.tar.bz2
 d95cd7b6b5e99905288d6bcabda3da429490acc0c6675453e734a8d25e619e61 2116 coq-gappa_1.5.3-1build1.debian.tar.xz
Files:
 d502efa84cb86877706afeb45c5c0250 73583 coq-gappa_1.5.3.orig.tar.bz2
 f3bd3aac968d48a0acf8bf48bef0547f 2116 coq-gappa_1.5.3-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTAqzoACgkQ808JdE6f
Xdn/GxAApZxjb3Aqpxmj/B+LRGOEf+AFZ+iPlfyGwQMu8XlSJPp7RUafxjWlBgbC
ZIMv47vS/4evABuIZbFP2Rrl3/xNmZZNNxTOX8QnnU9Ngijmh3ngUJ38vaSZ0/Kc
qNiqvipqWxAtE2tRgSJbo0acyowJBXGTG46xODJnmF6Vxrx4Xz3174fhCX0qwmfT
pyyETGNvfbMbydNa3BHPKdC+lqb8oVeAfyeuWcp3QWkdYsg5yqMMU+CHe9bojSbF
VSqm6aNkZNML/lDIB0Xsxx0WntlX2WC6SAfOIYqaap4S2O3ScfKmHeqluoRpi7Il
nM0SpUIQgWxw++IGJ/zzBII3GY68l536QE0hI/r1dm/VPJwVYav02CK1NvMx3kFx
Y5Lq6OzyYex2pRd/CPiGs1sRg2qgrQ+yJAcrmud3QQ2gPEPEW5BSGtyORlBXcd0m
zrGIJ3cTtubcGOGSagAps3GF9QuExYtAq/6b1QmacPumHPBqK87p3gcplXuoOJgg
E2f553NkLsKRI3yFd7YPsPgF8pGpCCtlmYp1FtCdfau0LBO4sQPXid4VENP9ejmh
OgRlKnAfIJgtDHgAyh1nOpbt45b65QEK0BAoCUl87DoHWpbsFyl1vEmQiV24Bb3k
PN65O2Rdi70DRfrfvaFRZwDVNgO+GQadvR0mZv9aFXMs4PK6J+g=
=qdrU
-----END PGP SIGNATURE-----