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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.6.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.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
 ec76942b2121bd62cae3e5afb7ee7e8120e4ee76 2476 coq-gappa_1.6.0-1build2.debian.tar.xz
Checksums-Sha256:
 b928c74832ad4e2442c702e99f1be06682ccf5ef23a913bf4a9a0c2a7f813497 75644 coq-gappa_1.6.0.orig.tar.bz2
 b0f1aea431408eea81e80e296e30bbd135a9986b9cd2357cfa2bb4c42ca41b6f 2476 coq-gappa_1.6.0-1build2.debian.tar.xz
Files:
 98009fef3b676b80f457b4ff5c4a466a 75644 coq-gappa_1.6.0.orig.tar.bz2
 303ba57f468c85a29fcaff57f649b4b5 2476 coq-gappa_1.6.0-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeug0cACgkQ808JdE6f
XdlJsw//XY0AgA/xFFOJfSRBH/c+MiANfh19Op24cR1wbfrwJR53OMT4OYENBJdG
MXcHxtNcfC6PTgqqP101XKbrdjdrGx6PyL9g18Z2Lelw2/CsRTmuQalA0GO6dq0O
f4+ahsRi95yQtZIEm+WJgkPgkIQQw5hlqam9hv5nWtQUfVfMrz6BU5rfwFi85L7/
AU5cJbhadLNVhveqUqxQ8qSDqTL7/KGO+ajV388ODlwnRIuMKF7Bu6gfPJAwO4Yh
7nO1Ny7IqEMmkgPB8WYoZ0l7eXE9USIAwuB8bhidLjiv7IPWq+Lu9lmsg8kjth3J
jORIQU9MPq71in7k/WlRn2sZ07+zk74EU2Iv9+vZYtrJBO5rWtpLntuNBOkcH+H6
b5suSxIqrwFIX+TQDHdVTpl9l1uR6TD58Sfg3OZx4QgkafwYNIBC34jFc6H2EAaO
He1fga1pFup4oKYMGyhN1no8gL8PkhrjhalABDNbQAxqRx8rJFKxjZycr/vG7U1J
vKFP6ejqFUKVuvJT6QSBrkiSQ4ZQWQ+aUbnPKrvL8X+ogjpWuFlPsyvH6boo+/d4
Elp8e8Vl4IaRMo8ey/Kkwlvu0t4z/Vg05hwcGi2d1oKmy5CObjr/jvD0AjqLaOEy
wyN7UdZA1W0mWqdvlnZtxUPWKb3NaQOFVqZtDkMvcEKuyi0YcxQ=
=iYSu
-----END PGP SIGNATURE-----