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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.7.1-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.7.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: coq (>= 9), 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:
 f07146aacbbcf8b2a8dd1c15db63350417d1dc1a 76292 coq-gappa_1.7.1.orig.tar.bz2
 1fc4b88824db9e968f55d0a625b19a295d986984 2340 coq-gappa_1.7.1-2.debian.tar.xz
Checksums-Sha256:
 648d3c62dd189605765ece97a65dd0f96a5cbb1f288e5918d96951f68070f2d4 76292 coq-gappa_1.7.1.orig.tar.bz2
 452442048556a2865ac1d126caad930fbfc440d8e7eebf4e30d79c38fa6a3daf 2340 coq-gappa_1.7.1-2.debian.tar.xz
Files:
 1c41b33c5fb5332812233cf5beaa25ac 76292 coq-gappa_1.7.1.orig.tar.bz2
 9fe11526bea94bd136fe48bb6d2bdfd9 2340 coq-gappa_1.7.1-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTfssZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUYyqD/9lNPXDPV+E+RXTrTIOmMMc
0txDXrT7T+DyUmkstIV76VeWCOPsPTGFPrpOJC0RAyfyPP7dMAdC5d4FUuopyOD2
tk/bU0DtQkYek2dG8a2D//rUbffvM04JzGjWkeTs9r19WHRLjdYvr9dUS4LUBHBS
3xc8qp8C5InxPxOnSIx7kjf+hPqPnzKtDX+l50ReFPkDPmVCVa+Py1KTzWydlUW+
AFuwl69fYGh0JoHEnCt+pjUMxw218RwMNpYbHyIKBoas9m82d11BGRMTxCk8+oBh
DLD7SskpYpkuab95uVthP7HghatO8BFAKuQin0qMqzv+9eL3b0KMYEh6akHjd5sq
mYW8OnPtsPBE69At0xm5jHLeO8S7KuE+1yCb76NZWGD9Vax+6i5oHmcPtPwlnGrp
HtBVDdM/GG0ulQcVjXm/T2F2/DPw4AgxEYUTEbsqk1D0Ca3GzvEkv8wTOt5N6vSt
Q1tDUaPpbjPdrP9VHc+eHXndMevxqNfSxYj/5Al4ku27lfrmfiVyEqAdgh0C2dFq
721EJnJPMcysUWvtfrvZlxsyghpvUjckevuaReNRKW/I3Us9SnBu804/qpa/aL9w
dluMZ/N+jFpTwVSWxbIpY0pxMY1C7+VYiZVGbTlt4zkAcScRuu4DuocOI3MutdmQ
ZWu/MgkJw3NLM2fzHqMiJA==
=+BSK
-----END PGP SIGNATURE-----