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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.5.5-1
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.2
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:
 a51d09d7080db15646e0183a35da5247f372ee26 73595 coq-gappa_1.5.5.orig.tar.bz2
 008e18f5e62a2bcc4e6ab02c160e3456506d60ae 2212 coq-gappa_1.5.5-1.debian.tar.xz
Checksums-Sha256:
 01776ba5ad1cb509e88f0cb28c13c4930b92f38cd9e5b36775864468bbc1fd49 73595 coq-gappa_1.5.5.orig.tar.bz2
 c4393b76c29f2a5457e6be005fc0d86463044be27daa80f9fb3dc267c73cf10c 2212 coq-gappa_1.5.5-1.debian.tar.xz
Files:
 eb267ad716104e8da16998d5bee08042 73595 coq-gappa_1.5.5.orig.tar.bz2
 07f77ee99d206037d98c4c0d7bc3f0a2 2212 coq-gappa_1.5.5-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYrshsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRlkUQAKK4p1dPp+XKg0afBMNgWW0Ox5i31gOz
pcXSq2JkmUyJrefeOmWMjkOzJRjblXm1p85gQ/3sGOgLJqy2tgBykUcc8mPvJZe6
cuvxsV/E4TzGMgKiBAGDCKKtOVEkPend628MaC/alaCESntDfwFn0naumn0ikx4F
kWJlI77QZ6DU/5fGjT3ErAlU8YcE6OU0o0Lu41hYpruI9UMQGFIK8A+A9OIvLwwl
mBG8Kc4EFHqkK9Mipzk2yrcRR6r9F2lpHx+DFnh9VtSl5Tawy2fO4BdjO9z9FvSS
BAkmqu9Bd1BvTA/KGousWDP8RJhkaH/wDD+Q7++8VlMsGWrkO7M4MtLK3Wm2wkpF
R65cJKr60Lvq7al0dLXL9gxuzJnbZ0PE/KlqBA03KirrX52Mr1+3aqSztH4hpt+E
2OumE6gPs61Z/6oUd55r8916QAffaNuR7iHRniKpI4Y+eLwdl2e1pT8G6mypPqrk
19+3BkDdgaiA0bdsy6ali6trg77LI5wiO9pUfy+qbt05oauEROMdtQ2WEO7YCL0a
UFB7Qa6ZBmxIx7RLMLiEMVEgIsz48bCBqgNNQAsQDaklL9C+9OiYAZj7eFwN1Hu4
81ontsjQ+xOiYV2pcNw+te+zCYRQFg5fxJV9iLxi6iB2fewCcUTceToFo1QVLY4Y
KMFocG7FtVtc
=pM4l
-----END PGP SIGNATURE-----