-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.5.2-5build1
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.6.1
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-coq, gappa, libcoq-flocq, libcoq-core-ocaml-dev, libcoq-stdlib, ocaml-findlib
Package-List:
 libcoq-gappa deb math optional arch=any
Checksums-Sha1:
 fd1bc27343ba1771ddc5baee93ec92275f7f9061 73542 coq-gappa_1.5.2.orig.tar.bz2
 a8c44bd7df259e1198270a5d9ab25aa0d94b9241 2080 coq-gappa_1.5.2-5build1.debian.tar.xz
Checksums-Sha256:
 a8e43645ebb796851ddd5f6fc9abb4745401af265286ad57b4ebc425631f3da0 73542 coq-gappa_1.5.2.orig.tar.bz2
 395b5ed6b896dc4081a429b065f069225f7cf55ae39f23ed4c1e296830ea32a9 2080 coq-gappa_1.5.2-5build1.debian.tar.xz
Files:
 826d7d56a103fc2c822f26e4db87e493 73542 coq-gappa_1.5.2.orig.tar.bz2
 057f884859e23942f0725bbefc7567e4 2080 coq-gappa_1.5.2-5build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPudmgACgkQ808JdE6f
Xdmz8hAAuVSGYue+/q1dh2TlKo8hvPZtwhV+c+a/tXSUt7nxNd8+dgtoSIUzyK/d
OFaGfZAtRWsmsrYrNzS4rXZW4rQsSDFw1TxhBi26I8vd+mmnY/fvTlS6mAMOBAzR
N2CqE1DavUAIemvt9XGkl/fkElJHZ9Ew4U+EyW+C2CK3jt0FUWCDTAAPZYhbUkRB
UBvbkGMkp4xqKWvGlenF74bYQnppOGa1mlHSEZadcuKX3RXT5WcF9qcr7mMuSxE4
mM8leVq/DDMSlhpj759lQ1gPZmkYEha7dj8H54FpC9Lqf3OoL06rcWPQOmjmvMau
YRYvJp5oVSnWj4f6sxku18vUsn7PrToH+2S7YkZRAMbZ6Zck7f40RpeIevf26Rjo
sGQUOUAdvw7I5PqwLpSuAF0AH5kv/k5uc+z8uCi68Mlb+PZryy8f+oA5fabPZguK
sK/WYH8k+Yzi7NEaHE/NgNtE8H1+xJvawh31EteXJ/mmM4xGP+/tDybIxLa14T5e
Ufr5Y1ilbr35ZzzzxNuGdwxiyq1YUoF6k+qImRqpHZuF8N/HuYN0GSqyP2gB5h5j
dtlSMwObs0q5bqlHNcOpcRgskW9ypNQefyxVPgg7dJZu37elOiQ6JxwCRICojWux
Yi/QRyxBIjsOu90DYwIVKIugWjecD2pJe2WjpUtB5JjfewMvNPg=
=osnQ
-----END PGP SIGNATURE-----