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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.10.0-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.4
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:
 df89e83afed7aa789336b04bb54fd36912e85ed8 91600 coq-gappa_1.10.0.orig.tar.gz
 adac80e02d025beaaf4161200c11a0e229e4ba5f 3540 coq-gappa_1.10.0-2.debian.tar.xz
Checksums-Sha256:
 4b709dffd10f50673abe3627f1c69c1b05e54b2831c1a700ad4b213245d915dc 91600 coq-gappa_1.10.0.orig.tar.gz
 9eb4ddb97a8e6d04ee7d0cd6fea4c636564737d85f0fe1eb648515e81a4574dd 3540 coq-gappa_1.10.0-2.debian.tar.xz
Files:
 aa8ac95f156180444b97d91e3f2e3275 91600 coq-gappa_1.10.0.orig.tar.gz
 b33db0924417e69ba0c8818cda755842 3540 coq-gappa_1.10.0-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpo1NUZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUaZ4D/0Q1P54TFxD08Hd4ecRpunN
UdoEsQeCQjm5W5EoImQqq6KoW6G8vZ/ijmrXEb27dzZFNIdRsB0HrOT9wyFVHm3r
I9vedw37tNqsoO1Xq/rc4bqGJtadSnkNbHPaJpLgQ6+M6spPAIG/my6+BUVr/z+9
M4LCiPc8HPpRzVimo5oe+Od5X0owkyF0hPw3me3sb2Vv3ethwtqrW4IaTlQlo+4B
Z8+wkV7S+nex052L1Od+fi0cDW9DSSXt1tyYnYx5pVp6c1Ii/XMsoXvAFijmCEjO
GIUZYG7QtLeS2W+R5vqblSyC2PmcfpnMDmqzaROzTwlQY4cpSlHa0pJqTtE2WQDu
lf3/je3j6ADc0eVqcTS73+cTvfPAHKXLwjnp3NNokuRT/LHMcxrY6/HVLr9FzHZy
hdeCtXsGgAJVXb33X9kYDGS5jh1icpgsEVwL1Dg8V+7bCxj5QVVQuMAwUz54+c24
8RfkrBIChQh5v5PBIxR55FSiQ4lI17Ske+6WgLZbBAqSEn/aSsbNauXDpH7N/nCX
mE3miMyXG+bJ+zs6SEJHwyiUyiX8HdDndYoh9ipOEcd4pXJNe6Mifgz+hmtCg25p
BAFwyxKcM7Yo2Vn0DaK5hBZhNFSwyRdFeaeUakWkoqPmYAMZYDyI9r+cVR1nbX2Q
h23Smw5+9DC+3ijsPzYmrA==
=kauf
-----END PGP SIGNATURE-----