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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.7.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.0
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: 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:
 a9cbc12c2e5fe4ec7596841abd3d050227c976e2 76391 coq-gappa_1.7.0.orig.tar.bz2
 5433a265dbbfc567adf226d8accc40a120dacf35 2208 coq-gappa_1.7.0-1.debian.tar.xz
Checksums-Sha256:
 a3c3ade574d20e08cd975377ebc31e1b498847f6b06e9f165b4329f1f1b292b6 76391 coq-gappa_1.7.0.orig.tar.bz2
 9c908d2147d4e05ecac160d1c8d91fb14db3d3afa6fedb57b12547cc28201ab1 2208 coq-gappa_1.7.0-1.debian.tar.xz
Files:
 5697b7315301fd9034a649f59784aaac 76391 coq-gappa_1.7.0.orig.tar.bz2
 d979dc7e7ccd1208a14293d36c742f75 2208 coq-gappa_1.7.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAme3SqgZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUT0QEACeFKMvh1TDaY9snQ6FotJO
O6QDrcPumRRyWYLzBozHGquMX/S9gxy0dM2KCn2zP2g1R+j1F14vzhJBxUdRVFBZ
IQpuWpi01XQ6rMwQcnSVr2CCYCn8jCQAVVustR2E/sCn+shbBO3dh3vGngi254ob
LztEJZ0om42c4OYSXNUXOZidzbcrynxJAjBC2sU1czKAaGiVRouv1uj1gKicUhkc
hQyE2OFdx0iqcPuF+BYJ1f6sXsa0SUwQTlN67V/qqsPifI/ZQTw6vTPCfrfjcErD
DE72SUCtULeeYlLg9FWg0CUa4P34PB4/jr3Hxr9+GtWUCP3yIX+CmQVGa3YAr8ir
9q1rhB48sSF/ot3q+ruK782MP49WmxZb5miPalGu8CkM6K/83ztNXJzAXJOFMo89
QmfvBWm/vplmWl0qbVa8T/ngC9k21joLVcohwf8JvWbCSlSsnL2UvTS/5XPX/OCD
t0/cPbKLOEumH2tf7g7g1LKEqyiPlBLbxYkRZG7hwtOA/2Rz2zOdwbEQjvWm2Z//
8we+kY7uGS6WP4kJMNhiB/kUN67DARO+mp4O5kDFdEeKuBz7NoiZd3s/c68B6pOr
0vh5PHGiEQIRiqinRSi/5y1DWaofo56aLFNv5EimvfHeNdSoB/9XJxxUDfcFEK6e
f0u6rU76g+LDiHzrR15SrA==
=I3e/
-----END PGP SIGNATURE-----