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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.11.0-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.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, ocaml-native-compilers
Package-List:
 libcoq-gappa deb math optional arch=any
Checksums-Sha1:
 56bc9027c2c78a9c65d2169b81bba8f059dbe79b 92843 coq-gappa_1.11.0.orig.tar.gz
 405fd1a0268e572ef5a835744bcfe71ccc07619c 3640 coq-gappa_1.11.0-1.debian.tar.xz
Checksums-Sha256:
 434f5a567052676e2029049c15397d1e2f2aa28658e98d0973160411303b9b68 92843 coq-gappa_1.11.0.orig.tar.gz
 4d4a0574454ed297889e07bb38b6806c65fdaebbbe2bbb81ca71f9f390204bbc 3640 coq-gappa_1.11.0-1.debian.tar.xz
Files:
 8cd7788337a5cc319734cf195c71e0c8 92843 coq-gappa_1.11.0.orig.tar.gz
 1a540a3eb8c855af3a24864583a660b7 3640 coq-gappa_1.11.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpxJ9QZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQK3D/wJ/XpFaRL1tDNK2uqg2ab3
a12FJXAqCigiN2LWSDjhU7TD3iH0ls59cS+1HT1OPWIipn+J1OxfPrYjHf4RAWvn
4K+Y3TcE/9rSeh575LoG7IGFjUF5mPYff8BX3iahWOYGnalmVcngsA+NiDKBWrxn
ABvYmbxhN4+9qkRvdCCYwCHnqT/WiIY5zTZ31FCLP+3tJOuZrBqvgVmD5rCCwQgx
CiC7RJbgREgn3VVU7X+SKL6+/k6z9hMaz+QYMYqXuuh7cHM/VvGplHgwRxN+i7kW
3MeXx584TRmXiVBe+pQjdhEUwyOMJSTmIc8ieq/X236SBNwsi5n7cPDnrhanPDGC
RD30GnA4pGhwdlpg2PxHdb9WS3UfaLfcwS0pbCYOK/A/TN61SGcbm3IMbGNj/Mwa
5Ls0ghUEjazzNeoIDv1p+PQSNjLFa7WJuQkgyJIJO+EYYncB4u4TeV4R7jRsUobM
Q8J6p8aTouwlhO/MPMYosbBo8jsEvTmclSCfCCrHJmUjT4zw51nLUtBJ3gDb9ZZc
4SfIeFyxmk84TxDUi23z1eLGjSAQckFhSFS2ViU2OyNXeIyq5fGDtW0tmkJ7exJE
BFBGa7DtZq4HMc1CBvp+d/Cqnm4bLHswIaW9Ld1meyVMZR2h75RoA3pYg6xQhja1
/UuEIncNeGDmCaZjvA/4gg==
=pwl+
-----END PGP SIGNATURE-----