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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.6.0-1build4
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:
 385841bd79cf860d986345ffb54045ca02a9d852 75644 coq-gappa_1.6.0.orig.tar.bz2
 bf6c9b10b36b216183bc3a336a0958b9110c8fcd 2500 coq-gappa_1.6.0-1build4.debian.tar.xz
Checksums-Sha256:
 b928c74832ad4e2442c702e99f1be06682ccf5ef23a913bf4a9a0c2a7f813497 75644 coq-gappa_1.6.0.orig.tar.bz2
 d228eec59f386f40ab9fb098f57949d929b90b10716d9acf6bade91649d61766 2500 coq-gappa_1.6.0-1build4.debian.tar.xz
Files:
 98009fef3b676b80f457b4ff5c4a466a 75644 coq-gappa_1.6.0.orig.tar.bz2
 4e3533b409377e01e8ecd10e5ba66c7e 2500 coq-gappa_1.6.0-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAme1gzIACgkQ808JdE6f
XdnO2hAAlB+SjwR5ABg7h5QanryEitDbrn8uIz3sVeTD2aWPlaKv+ZRA+cV91FHO
PGhQp7jsNw0f54BdGvKfkOWa+K1/XW8whO+IV9cQKycv3n9egMN14HlSiNhuVyiI
TyZyDiPgSB1b1Du61Tpp+2zGsWnlBTfnVRAq0XAgpi+4l9q/Ee3vbE5ka+kNTYTR
wXVVZfEZwWdmHRJqyrVWJidZflkLun91Deen2S9cP+b6rnI0tgTSGTLm9uI1oaKK
szF9oO2bdWMFuSgFYhi/BkKRl5rJejw/Hz3qDRbLoNr1ecgGg7Q/kvdGaIRdnANc
gsfPMWwIE04n1ggGsXVs1b8xCI6RR+wDrPkKiJHwxAeQzKe5D0GM0llCOsY5fZiK
pQY6CZgN6oJWJcDwFa1ovRupwR0u4m/i2Ld2FxZ+OrJ9DQhCUR1w6pbIato7/6G2
L92rJ5BWwhhsGGZ9HJahCL7eqX9NK5p8BtOeFKbGAJp82/Hca2ITcnnXelB4XcTi
yo3c/EaLA26f5JeuAfgsF/ahvVIo5RLwtEqgqUCyKGbhJTYEFaoEO/C74aDHh/x6
XyKbrxh2B3TeI+iGr5dXFG9IEio7zCS3FhtpxLc2UqIXmC8qjQN7ChswsBj8LVEI
nmlWAt8m4YzLdxOVjG3T6vZ1YfGD5yst0Lxares8PRaQBUdLupk=
=1t4R
-----END PGP SIGNATURE-----