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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.5.2-4
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
 2ae017267efc2ee8f74685cc45235dbd149ea786 1952 coq-gappa_1.5.2-4.debian.tar.xz
Checksums-Sha256:
 a8e43645ebb796851ddd5f6fc9abb4745401af265286ad57b4ebc425631f3da0 73542 coq-gappa_1.5.2.orig.tar.bz2
 c4387183aaad79da90a6a32804a7d790a0e79c65f4ff3d97c02396fdbb4c5403 1952 coq-gappa_1.5.2-4.debian.tar.xz
Files:
 826d7d56a103fc2c822f26e4db87e493 73542 coq-gappa_1.5.2.orig.tar.bz2
 22d8be9df660c8d92ea2683d828e8b88 1952 coq-gappa_1.5.2-4.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWXKkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR4h0QAI/WUYW84LegM0OPsJAIDjZXM3BvMycC
+yLALf6J5Rp42UgJHUaSFa1sV/XYqikCnniZ9TP+yjoV86lDk3Dq2CzVnr+WVJa4
dmQwtjAqHNKJhYjMEIjdcVDXNVNwQK5ACAihuT4r2YUGBHCVm7mTuiRcau/nwBIT
AkDFiRC/g35oKev6ljV0XDITvrZg1PSk1Gmy45UbJoCD2WKweID8/+FsTkHruIJ+
AbgSnJcx3fx+1/aFrLCB4cfdCjGjJiY9TDFBV6gLNl9pRRxOMcbJRangQe6LltvH
IsPDW9rmsvcsCtm3hzyNAWhCyvTE1hqUMXKbjuY/Yp7iukVU5wvSUbdW3jrt0yIl
YpyfooDz3DbDEdGeVA7RA5/j3MRvKaxd9BS5t405b6Ho+A1e0A1UUAYnmMLT7zgx
25mzQUzmJe3B2Tl5Eb9ysopA+3zn6cE06weS3aBszifGczbJtHaiS0AD+xHsF2rL
NQLhxDpIzaKIY2Air1aXJwBezogplju0SILCRkLJCBo34+TvIy0CA2DzNDSZXM+v
w/5w3LarRcRq6+f1kdq3FO0XDJGUYw1yVV4qZFSeoTUm8sEbb8MHpKUS5Ox+d/1N
ZEV98ICFmxntxw09TyZ2Rk7n4qlRDYeQaD+f+KhSFmR2H6n+03XjJSm9toFylVWY
jIuyyJ2K1e97
=/7We
-----END PGP SIGNATURE-----