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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.7.1-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.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, 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
 c42c29d7e55e3a32aea1b2b41c750c97eba675ae 2296 coq-gappa_1.7.1-1.debian.tar.xz
Checksums-Sha256:
 648d3c62dd189605765ece97a65dd0f96a5cbb1f288e5918d96951f68070f2d4 76292 coq-gappa_1.7.1.orig.tar.bz2
 0ba7b376f6e500f53e41509381f3f617f53d9b8d63caed20b9825b8507cd6137 2296 coq-gappa_1.7.1-1.debian.tar.xz
Files:
 1c41b33c5fb5332812233cf5beaa25ac 76292 coq-gappa_1.7.1.orig.tar.bz2
 17fa0575627b1193e1e2fef9ab741746 2296 coq-gappa_1.7.1-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB2R4ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUbfxEACQ9wdKVIK5tsL978H17Qw7
HC8dHdgM7eSeBZJXTX7EMDU7IQ6gqxPeB8YdnAKKaHC5ciyx0IgFIJbLxi3MkVjY
xmvb8RAZH6rUkHlwAbwaLONxWpMv5NDYZA7v3nt9nPHymaZeUcLk9pBECSY13gEy
k4lXohYJ8QPWZF06oP1FtUenCplfM8S83iEPRZDf6jOIIJ691dX63XvmgRxbGxac
Q9AjSL1SZhIhOKDSnoiAvPzYWj6KV5IHE1Mr24RZ5Di4M1UTx6o54yIQy5oO9Yhy
YOmHbW+mSg89RI/QbtbdK8jtz1dAycjqEtGgiFx126GTf8ISrg1aKKTmbipAL2Xq
jFpT47DTnSVeoiSHfeYcEP0v/pPOBTOqs1ttd0D7+QdGh8Tbede2koqu2igzLoeC
g3TOCc9AQzVB6ngmTaXtZ6OjICAVTP5TM7RSNpNHo6MjTzPKinuTwpCx65gnTlzA
1yYtCRDh9NHQqPc1odyoH3e9uwqBH13m3oSQYr9Wdk7A0uHlELYmJS+j0JfGL08C
jV6GcYNQSJ9QER0t2gyNcq4308o5zRZgJbMfzuNorYgxLu5c+Ens8pgtFUg+bNF2
+GNZCeMJmGmlaod+hrlDdbqarQF5UTTkTqM1U9Yz/vNU2BUQazgC1QBG8p7O4CpN
+SkBey061BItw/X7Qe4lZA==
=oHVV
-----END PGP SIGNATURE-----