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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.5.2-5
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
 bd4e66b67a182c979b18d33fb66a25429e76e15a 2008 coq-gappa_1.5.2-5.debian.tar.xz
Checksums-Sha256:
 a8e43645ebb796851ddd5f6fc9abb4745401af265286ad57b4ebc425631f3da0 73542 coq-gappa_1.5.2.orig.tar.bz2
 6f74d633e84e9e4efd1b814b74cc06951dd825bdb14fc31a7987372ce4d98305 2008 coq-gappa_1.5.2-5.debian.tar.xz
Files:
 826d7d56a103fc2c822f26e4db87e493 73542 coq-gappa_1.5.2.orig.tar.bz2
 e8afa5036be67bee1682a0ebdb738a51 2008 coq-gappa_1.5.2-5.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRGpQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRDEgP/3iq1aC1udsF6V7/JbqcALN6AZyzWPiG
r8s8rDfNigjYZsp2kjg9WGwizlfR7psgwJtmJrR3q2JJqzmVew2CJlkLYwaNi2Fg
KRbDqfpyczbd0JR6TpTPDQW3+BGJmgNP/ZbLJKQqtAAS2U0zztu2sg8TLpjntS0k
5EdzRamSMdSyV1nuMzLwDl/8GmzKnecfa8z29DxxPsipi+A1NTk9qre342KQ+aWj
A1zjnsKpUETLl8Ls6QsVXpYFPoEOcPKJPMoYTzJiiucWaU552xWQRFtuLL0xtLRl
7mTRtzZC9z9EwBKm+LWXX8jx1CbuYzvt/euTDnSN5Rk+saplb0ChmIjWpJNFkkLD
JuLmupmMu5V2sBJwz5Yp7ZsRCj4lx4cJmbujxQmedP40+tCxsJLM8lkUpFdCAfWG
rhuIvbalxOn7PytJXC6b5ZEYXabh/avCPcROAgyprJRGun/ensnEmol7AbY5arCP
zh14PHjGxmYDhoePAYxD3mAeja3IflMNJ650DI1O41iX5mG5MZwKZYuJZhrHXyD3
x3Xar9f555GBmHdafzCUS/kaEnD1E81BE/If7E8vZkdqHDrM4egf8WrKoqiDzrG8
dafxr7oHAWmEIfQ9d19/Oy6NRXR8NHLcmU8LRETGqooaEpqS0BeFX8f/HXs15ch/
pY5sYjKz3/4G
=Ee0c
-----END PGP SIGNATURE-----