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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.5.5-2
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-ocaml, 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
 94399007a0601e4b1bbf147628337c1949883339 2356 coq-gappa_1.5.5-2.debian.tar.xz
Checksums-Sha256:
 01776ba5ad1cb509e88f0cb28c13c4930b92f38cd9e5b36775864468bbc1fd49 73595 coq-gappa_1.5.5.orig.tar.bz2
 66a1e584a1a94f108db1f6673c6b16dca27c69f4651fb9eda2a292ea7815b5e8 2356 coq-gappa_1.5.5-2.debian.tar.xz
Files:
 eb267ad716104e8da16998d5bee08042 73595 coq-gappa_1.5.5.orig.tar.bz2
 e7ce38c975ae3d0bfe73cc91225defe9 2356 coq-gappa_1.5.5-2.debian.tar.xz
Dgit: b947793bc5527909b745852d7358e7cf0a281f74 debian archive/debian/1.5.5-2 https://git.dgit.debian.org/coq-gappa

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavDKYSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBFzEH/1fprTlyQbygG3HSrXGi2hh+73VCeP1e
/nx9H2R6G9OYZPPhP6yxB5jF9tue9sD2M29xEeqO6OF7zMFqKX64GpkXb/Qv9xke
7wcy+n0dUZBqcXOF2jdsjBAt4jhzR5zHrAj+LooHeyxfDbjrF0E1iSFOkJKqdBti
Bt+YPBr1e37l+KT7GR3SmRUjWLGg+RUqy2hjjWas1bPeHmBcimFeMaiJ2qYv2KbZ
eEGa1S9k6ms1L45GM/TzuLpow2M3wXmZ1X0rO/IUn/paxauTyba0U/RVCGKl9u+r
wRYKvqhC64dXEI1l8bBXRqWobwmd4G0Y7b4nn81uV4Q/vfxIxgR5Pxc=
=udmy
-----END PGP SIGNATURE-----