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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.11.0-1build2
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
 e2f601615b132766a785db6d29f67389d55fb8b5 3724 coq-gappa_1.11.0-1build2.debian.tar.xz
Checksums-Sha256:
 434f5a567052676e2029049c15397d1e2f2aa28658e98d0973160411303b9b68 92843 coq-gappa_1.11.0.orig.tar.gz
 ebe6075af50d0f205b8cb1b404cf73a3882ab447ebbe5eedf10916947d45fe34 3724 coq-gappa_1.11.0-1build2.debian.tar.xz
Files:
 8cd7788337a5cc319734cf195c71e0c8 92843 coq-gappa_1.11.0.orig.tar.gz
 f0f0dcb23483d4863d3995f2768afa60 3724 coq-gappa_1.11.0-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqiU7gACgkQ808JdE6f
Xdk96A//TvuBGsNowBprcN0uQZAS/31G/HVMvjUzmXN0VrbwZO1okPo2raDuFjBC
NouWv6vNCyPW97GyMGUZ61zbtmt07vo2oh7NWKm5BiiEIfrvP7vREYRsCbfV45aR
LK2LCJEeF3PcGtq+D8Szfc6N6ycei4eU7dXJBROeRT0+NqeTiA+adkv5TjVAcmy8
BVRpsqhkhR8WNUiHGMPcBQsG5ZiLWcBMgU16Mv7vse5u61PdQ5CAgpZoZGz1hb3u
26s2xyHII29lmlPguS09YpTbLi+z8fkKycn1zTYmF36F7dbETOQ4alxEieZiM8Zz
FDCx8Xttit2lByyr/Qppcxk3ljP7Y7XOWBniIzupNoNrG1E6r948p4XsP5GDdfOF
DdztdZGlDC4HdAdcqEepN9t7uSrNN1Ysr8yLj0CcmXNcctfh2WckWQnGOndK+srk
Uho1IyBqkh46YV/jiEh0O0RhPfNtexObgi0G9hypKKmY0ILaEOwh1PIt+X47X6bY
3K+lIKVMZnG3svpzcgnyQ6E4GlAj46ZSQfK0rAwIdTyTFOMQRtV6UShT9rpznHmd
nyhZYB8ciN1YLQlipa6lMum941pHluskgJO+/+WJNDFgqAMHOuB001EAbL/B5Zxm
D9ebB1SWqC45ZuXp0E2HhnoP6P3hUzl4VGguXbIbrn3awyGU85M=
=YlGY
-----END PGP SIGNATURE-----