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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.7.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.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
 c525f012cb0de8d7a74a4496e932895c62e569bb 2288 coq-gappa_1.7.0-1build1.debian.tar.xz
Checksums-Sha256:
 a3c3ade574d20e08cd975377ebc31e1b498847f6b06e9f165b4329f1f1b292b6 76391 coq-gappa_1.7.0.orig.tar.bz2
 cd138e45be5a10cb8ecdd5164196d3d4156865bc10d33648f5fb01fd5f56ccd7 2288 coq-gappa_1.7.0-1build1.debian.tar.xz
Files:
 5697b7315301fd9034a649f59784aaac 76391 coq-gappa_1.7.0.orig.tar.bz2
 07fbbe4154ac3716f73202a72a204318 2288 coq-gappa_1.7.0-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhVRi4ACgkQ808JdE6f
XdnBYQ//dncLz2/hS/cWSdw86tGUL39hWznJdna4lnFioZSIx9boy5S5EtLQMV5h
LsMPF4JNBJz9EBIAco1bMOSe/KJDk/e7rdy0aLYb7FDGOIZ85HdicwnbrPC+N6wl
6VWxiPnzXZLhvfrrBvWNOa5xxbANBT0YNiOjA0S35i5BQDUptajC1JjA25gzfbXD
EDMyIAxM8NvKWRo5FzFZNpPhY1uusWXsRufBpXMmc/PVPJxeXKS6zACKTILAynbb
j+5QvhEwEU6wZA7/CitfY/3RKRaPdqqpNrMWCChIAspVoa4wS8nyJM+sFTlqdWct
baDTz+hxFCtUuYCvpFh+MnphtiTN1TF/nxp8eZWZGc4hE6VPfCVThc0oNOGApZsT
6ScpjDFF5ebIvCQBPXmLYl2QpLdBn6/ySW9D96Kibff+NoymmrMYcoSOFFyVUxEr
KGVcnn60dt2f3Cl6U44Alj8ONcKCoviwdGSW14cBoN64qUUMVRFEYnFb49PpaypQ
DHQzLTjWnMBGTCyyKV630mor0dHztVxmPyccX0M9z7TlE0ryTFNr7MKiWb26m7ZY
AprcXhv64yV3wUz7hfxrFgYYCGqReLM5BiZbbOXz/lCriaQ1oNMFCjOk/vfI2FXe
lJ0jKOawvooLAcsnxCEgBQUukf1RbdM1K2D5OFutDZUtke+WW+8=
=UCK7
-----END PGP SIGNATURE-----