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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.5.4-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:
 236e88f09e3ad0c3c423416cafa8b286f3679e2e 73571 coq-gappa_1.5.4.orig.tar.bz2
 d4e1a5f69b1d24c81dabd3406f5e8cb48b1544bc 2196 coq-gappa_1.5.4-1.debian.tar.xz
Checksums-Sha256:
 544fd75350ecf65fee3a00fede463f3d047f0000995a0f0ecb61c1532d98cd5f 73571 coq-gappa_1.5.4.orig.tar.bz2
 bcdb899eb3a8b80d6155fbb41b69f09671a3e3d7071876c705af6f4aa93e48c3 2196 coq-gappa_1.5.4-1.debian.tar.xz
Files:
 a4dd81d9c28e0382d09a3417b4c93d08 73571 coq-gappa_1.5.4.orig.tar.bz2
 e9b1cee569989f47a55e52118bb6f422 2196 coq-gappa_1.5.4-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEYJsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRUK0P/jNTFD/JtGZZY2YbqpQG9Zj2HlQZo+iI
UqFEu8MeP/VZW/VOIA/DrBCltCI25gTq0unPPdow+ld0SbGrxbs5qfKcD7cRSrR/
S7ypc9DfGo7QhOLkGPnlSTFXydqLULoL/XkIFtBsVWVEjSi7mXdn5Gpm6UxITnrt
vDPwLdk6Rqz816tA0apRZhkPKNVx+CPPuf9aZETZARteiM2O+aWCpYDUl7T27UFk
adNu/Ij1jqDW2cn8jvoUoRuOnXbnnBb3ZKo0D4+ciljYaRrNFUl/5fQRwZGYbgP7
vPvF07471+Vvj+r3bj5QiFob0y/xtaMX19ZbTsK1GasCWdmgx/ytWufrtgcnLtTs
+W4AxzrOmfVGSVbqKtBZZvXS+h7l3YswcfU0D8Abp6Fg/7yrGcrSOX6N+kegqLz3
L2OGXfH8iBJI0XYS3eUiLqHd+NThJ+z/wEPJjWiiAUysIxYGHVPWMJxdKLGwLoK1
SacjTvd8zrNPjziSjcgF2bW/ukVcwHIaobyH+JtDI1YKfdUWNOwsfnpXowBmQZyr
uQGpFAoOWe7w+af3nOWIe4Zwt94g/BLkbrjnIjbPP+ePkREJRVUGYxrGbF6bc8ZC
+hh0+WHxYdQgOSaQdwFR9qyiux7pxyJ81oUDC2sKTkI6lHamYujZRbsqJZooTq5j
1MAs56e53fyz
=YESe
-----END PGP SIGNATURE-----