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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.5.2-5build2
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.1
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:
 fd1bc27343ba1771ddc5baee93ec92275f7f9061 73542 coq-gappa_1.5.2.orig.tar.bz2
 6a8e08cc6c23a19200f6e34ce506c8b0bf5cfd3c 2100 coq-gappa_1.5.2-5build2.debian.tar.xz
Checksums-Sha256:
 a8e43645ebb796851ddd5f6fc9abb4745401af265286ad57b4ebc425631f3da0 73542 coq-gappa_1.5.2.orig.tar.bz2
 87fc854c1170c82d06a297c5f074325893f62d2a9d2eab1ffa7711eb000fe304 2100 coq-gappa_1.5.2-5build2.debian.tar.xz
Files:
 826d7d56a103fc2c822f26e4db87e493 73542 coq-gappa_1.5.2.orig.tar.bz2
 a745b567cff79df1dd61914b4de5a373 2100 coq-gappa_1.5.2-5build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSILFcACgkQ808JdE6f
XdnI8A/9H0kZQzsGXKaqGfC2Q8A78zLgDoXKRuQ/N173ixs/h9L6jHLgwBMF/tYH
+gNrvvjJLP/S5V0FH/xH0myl5Hgo5Ap1owBQuPhH9O9GUkP8fKocItK4tsvjwIx8
QN6xEuFbokyxFaOpNOCqg4L7LPMoboHbA+vGIHTdlQeSftcUbUFclpF8tmQGjqgL
UN3zZEP6u+0iWwrf5Z1L6k52lN+cop6CH8FINFe/S9rG9dRH+JVJQzz/4W3d3r04
mXIDtL2G16MB5Nq4GdURtt0RAKKlooK3ZnKW58eN/oATifH2MmSHUy8dW3JzH/eC
YD2bipGEOiPo8petMyWf0AN6159LAwe9sqBzMXumvU+YFrnc6PVdTp6k9+CY5I32
YMOP5+voYglaEEj7EAYPQh+QPF4XoyjqEXwYaXl+u89jKH7hNL8yPnDqVBWe/dJy
FbgQsb66dbGZ/BUBjZ4tYQ8vI5IIkfyOgRlVCR4OQXKwIFXfOvEVJPUsrpQZfTcD
PIVtVLzwP74guMBP7B6nfspN9v/eFaBlHTh0aTYHy9lijr/VzF2fJUFgi8yzC029
6uLl0JMqzznCZ7XyB8DRyZNYkT8SN937vZwppXn1kgrBgd8AnjVSB3pEjWzZWtZV
8L8KkmfUbW4lbQKK8pq1dymBoOtjG+2LMh0fiqLv9ImaVwfnrNY=
=/Fda
-----END PGP SIGNATURE-----