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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.5.2-4build2
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-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
 24d560e676028fbf62e0b7d14cd95631276abbae 2044 coq-gappa_1.5.2-4build2.debian.tar.xz
Checksums-Sha256:
 a8e43645ebb796851ddd5f6fc9abb4745401af265286ad57b4ebc425631f3da0 73542 coq-gappa_1.5.2.orig.tar.bz2
 688e90774e339562a1811263895f4462db5ce3f35666fad40b02a99531d8a348 2044 coq-gappa_1.5.2-4build2.debian.tar.xz
Files:
 826d7d56a103fc2c822f26e4db87e493 73542 coq-gappa_1.5.2.orig.tar.bz2
 28d9ef22607d35f5dfa15dd36cf9ee0a 2044 coq-gappa_1.5.2-4build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLOV0ACgkQ808JdE6f
XdmhvQ/+OI8lRDVZAbH+LLEkd7QiPVR3+iUFT2YXA9trRAYXolOYfNco+ygoinWq
4T9zbTZAU7w4kO/0E1+d4qZtgRUR2qiCxNrpXeBgGFSHZXHvENh2Og8yBDmPPhFM
rcN1se8mxIVl5SX9CgkQoRjKBWrCYt1BpfS1NfwhudDk/1trxqv2ubwGF7/n3pU9
sMwpL0S5qnv+UeuQFKvtiR1+CrCI4U5jrHAOLnAJpvAscmEaSdUDXyeqRjwJrI++
UidMomGjQA1+0R9J8/4sk8HYWqApkw8pbheLQq1VB7uKfEfsG9oVlrF1KgZh31YR
0SKbybvpmTYuPBh/PkCCTDl0uJeBWoDABtNM6ysWXBwSXI6gQ+Xs+kyxjUdFgqR4
yCc45D+CsUQLbXKsCedKZiWE6Qwyzp+TlO+97p0KN3/TGZdVJTtfV4uxlxfZIu+p
GgBgiWCQy44/Sj3idIR+lhgCkRiC41azVzgqhTnKJ7pqhZOafakEjVj1/IYM3igo
uHZb8y1Udd369tfaP/fN5z92QikMmkOKim/SDZIugWcQ4NDzDP6jkXaHGrHeFu0M
BdoZguIkARdmhhC4FDvdex2hkk2Zak6Xo4nF/UoO3+TZpxbBrcvveA8fMBuHxWsS
GCc1PtmiHOGn2ENTV4dWajsPNY27uYCrwa9zdW0Cl8VaSU1kPUk=
=suR6
-----END PGP SIGNATURE-----