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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.11.0-1build1
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
 a7aa111cf3eb31e63848c2e6467f5296607a7604 3712 coq-gappa_1.11.0-1build1.debian.tar.xz
Checksums-Sha256:
 434f5a567052676e2029049c15397d1e2f2aa28658e98d0973160411303b9b68 92843 coq-gappa_1.11.0.orig.tar.gz
 fc721cf79bf40531fed340f4cd9fd07b99d53c2b2e471b67ff54f3c5fb9ecad9 3712 coq-gappa_1.11.0-1build1.debian.tar.xz
Files:
 8cd7788337a5cc319734cf195c71e0c8 92843 coq-gappa_1.11.0.orig.tar.gz
 122f059b11a7634b43a5fbbcba8e4469 3712 coq-gappa_1.11.0-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqVNNgACgkQ808JdE6f
XdmbXBAAy2Ahc2yOPPmUXRzXrsLYrDaaCKwdnWY2W3jwo9wNb4gwqhWITY80aHYN
odH76S36sWLPL14ymBOtXsybi+0R/0dZhdEChalreMDXXO0iO8WuthrZlerb0eXa
Wc0dXDg9dnL5uIFbzSH5ASLSlxQMSp8KGQF1Db2dvR2ql/1pe+2x+D4/Y7BU9rmo
GOEXgvTbTgz3h46KafLrluhQ/Y1y5c+so6acgfRLSqLBmthrAbWrr+xBUz8zesQC
qEg4sliaNNtX+Ho6i6WBpfe18tXL7n81leC8GqFc0Ub0zfjaMdq09YmooVl1A/OF
u6JCeNM3nrPL1tnJrmqWhQ1NgEa5pEda0ivbWD9I3rgYBnt+FhrYlbkyrjHzYdsc
Aku4WJw4zMOAyBm169+Uuuwiei+dpJ+4gCPMw+gm187kwcFmL4rNRL2/JnZqqfg/
5vCjFl0JXmGjYRjrfxOods71y8HGGSwmfDUbT+d2iiOtDw+8HNEkWdHypTlnNNR9
GhdmygdXSwoCKnqafLaPrNDEOmJ9cnRkq+W+hMnaA5DBN1j0Z7yO6HH1socsJI17
tjrkBumjfZstx4Uu3yd6xP7bi+ldj+SfKAjqBj+SIb4AmJCjAqB0GNn+AyQwHI2C
1Op/8i3ZwaK9Rs5IbUbSGhkAjqRP9yrviFxeTA40f9E0dykBvb8=
=U9PY
-----END PGP SIGNATURE-----