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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.7.0-1build5
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
 933ed6079d40e5e49b5c9e3c914330aab2ca5d91 2396 coq-gappa_1.7.0-1build5.debian.tar.xz
Checksums-Sha256:
 a3c3ade574d20e08cd975377ebc31e1b498847f6b06e9f165b4329f1f1b292b6 76391 coq-gappa_1.7.0.orig.tar.bz2
 d0b816406b4f0f4ed3e07ec26873192a7a49e8140ba09de9a9f1db58c332ba3c 2396 coq-gappa_1.7.0-1build5.debian.tar.xz
Files:
 5697b7315301fd9034a649f59784aaac 76391 coq-gappa_1.7.0.orig.tar.bz2
 b2e56a83ede3521e8cb4e1cb80ec74e5 2396 coq-gappa_1.7.0-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpOxvEACgkQ808JdE6f
Xdl9ehAArFcCrJVgnRGG+DmvLrT1Ja0B/u/AG6I0oAcPpQEb9EqzZlSeHycs+g7U
qFtXet4kny2wrzLRpYp3Jr9l/1G4XDaEXhLzwzNIn4gwwZgcfPoi8tZsTXPrkpGw
z9Ej9WUyqdYkHsM3GLv3PMHIvHH9Ef9ho5j23BuFrI+9mvsSdfElkLUr+CN2xHOZ
FHhx0yYW8MIl7+1F/ugpu9mkc6YuwJQonahDMc9ePP7KSb+kCM7czzaqtBiHP1rF
jmDblqaOlFNMB8G6dU/PxwlSxtUt/8cjw5RsVqvXb8/SUoLf+FvlPGus5j1hSu43
Tm7zC0q4yNyhdavt0+lV0H5Ru3c+5+PgdTqARB9fUu+r0WFUkKj7KYeJjC5vWy8f
RjwcvBiE/Ov74zacGFr7e4TN/rJi3SXcdLEdGVUrdw2F8GTTVgDfB7dQV70vVMHz
FE7Z+wCnIaKjTxzikeQXlYr2hy3/AKkbEgBi6CJh3QetY3YDrcQDydOoFPm+be6Z
5UZ9QFmxZHKvudLORnpvm8zMrnm6gX9x1QrBuoosf5RQcG0u9SECOfhNnNMt2id1
rcDGkgZ2eDGqvWxiLu/isQIZL6FuV+LvMtDFEtTSCJEgvx4Rg8h7b+8PEW8LEEgi
4IRrlFe3mGDIiuX0/qS3J+m7ne5q1VgARZrxksC8EHO5HuzvW9A=
=rKOi
-----END PGP SIGNATURE-----