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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.7.0-1build3
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
 c6bf008d401ffca234995e73e9f896ce9c4aa9db 2320 coq-gappa_1.7.0-1build3.debian.tar.xz
Checksums-Sha256:
 a3c3ade574d20e08cd975377ebc31e1b498847f6b06e9f165b4329f1f1b292b6 76391 coq-gappa_1.7.0.orig.tar.bz2
 7405a82ca075d2c9ea08294691b12e7e27de5328258f6834ee5585cecd4a11b9 2320 coq-gappa_1.7.0-1build3.debian.tar.xz
Files:
 5697b7315301fd9034a649f59784aaac 76391 coq-gappa_1.7.0.orig.tar.bz2
 871436302b4ef5f89b83bcbab9664d69 2320 coq-gappa_1.7.0-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml7s8QACgkQ808JdE6f
Xdn0Xg/+O5pAyL9kWGiDJbv6IHVjm8BpJNkJtD1ktTD4S3q3ub3IiAzj1kEtQS37
AipyekmJiBxF5nncouIMcxaR4/hP2Q2BnKdXh53ayqGGxHFahTWJmUjPvy7YKQtZ
w3Fi+pyJQpOtfBAWUhQSYHM2q+hPmuZz/qoWnidxaXU9vMXDCu8NUvqkLqfEui29
Oh2zaum0tJ2DDiZnHg0OzM2uBBVTokitvMOl2rpyMuZIwE2h7nixUU8/kr+0xrAb
avV99x3wqP+h+IZG6bBetHCCGPHuKm6n9ryLwcn7Odw/KUBXQgVxsTmwfPFQOTVM
AHDR34Mw6yz7oIpvu/Ujk3D9Q52S+wGVfWHmtCQNaBVYJlF1hzC4CgWo7/iXOBPz
e+72l91+/nLhHtJ7yidqxUrfKkMl7ITML4IgmfSaQ0TVwTXesbdurms5wZcbcxsy
Bk0fjpKUOG/PZNVDtT5e5jo8tqYe6p2H6DH/FYgh+U7DTTgfnZQp8+MDJyDA8+9e
L5FJLNiU8eswrwZvat/02tdjVIUsV1ID62hdWvzCbtV4SbaKOMlK7A/JX+hjIsBy
HufQ2446XbCYxp+rmdRwPobOe9Qz7RegAP1vQKQK1qrhYl3YZNrRfM2V4E8Mb2c2
OIq2mgQK1U1SGTW1AmP2PS7bK0hPfMhsV1A5JAhb7gCwLfHGO+0=
=ku0w
-----END PGP SIGNATURE-----