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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.10.0-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.7.4
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: coq (>= 9), debhelper-compat (= 13), dh-ocaml, dh-coq, gappa, libcoq-flocq, libcoq-core-ocaml-dev, libcoq-stdlib, ocaml-findlib, ocaml-native-compilers
Package-List:
 libcoq-gappa deb math optional arch=any
Checksums-Sha1:
 df89e83afed7aa789336b04bb54fd36912e85ed8 91600 coq-gappa_1.10.0.orig.tar.gz
 78da17df358ec5bfb2a1cde452e2373bb03ed398 3620 coq-gappa_1.10.0-4.debian.tar.xz
Checksums-Sha256:
 4b709dffd10f50673abe3627f1c69c1b05e54b2831c1a700ad4b213245d915dc 91600 coq-gappa_1.10.0.orig.tar.gz
 1dd0eec6567becf5581c94aec1c31ced143b5f73acf65634f615097a6fe188f8 3620 coq-gappa_1.10.0-4.debian.tar.xz
Files:
 aa8ac95f156180444b97d91e3f2e3275 91600 coq-gappa_1.10.0.orig.tar.gz
 3d64f479a2753ea3218e51e7088f9a3d 3620 coq-gappa_1.10.0-4.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpwyWQZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUQMD/4/MSAlAQH6730DQpz20GP6
C3jIZyk3oM40BbSGxNwctyQG2HmcQPYTxpREYmcmFIzkYmdMVYwbbWpyg1Pt4gfE
zjxiKTkl/Qv0LenYFsb3yongspxVwZN+xHBDdK5NG9ZZkbT051jiwgv3unpq9rXv
nzNcnQLnlUJGIoPZBrgvW02w7z0aGS9a8Saba5YOX6Jfd8FBwKHSXWg10+iF/Lkt
oFvfMgseg7CqdNqbuXnrychGHnMbm6Jh7Smt1Z6+6cr9DIwxVZYWF/zfUYgCWpN3
CKJqOrwi0KIeh95NQpcgyv5T1glMJyjUoW77FuM62xssd9Uq2zMCP3qVbph6g7qm
5R+GtQq/JzVf6EPKW9WsXF4chasO1rGdabgJAJaGZjzz7DiDky6/IWZwwK9252mv
52/U5OIcLI3WTfFIePIBDm6IRpOq0J15x9nPxiBTMQUy83qgkpnpS2Ray5tUJyLN
UtT81v532ZWUv9kqu2luxx/qlDDenY+aZcqkXjdnBjvXNdQJTTLMdtWFY/Zc/DSJ
pMFd62FZEKP9mFdYuf0Jy30REPei/+m0CqSTOs4rRhurM6bXCKG9cvAasEBEWiAm
hxjMAYIvWrddFIlBlpWvJ6BSTNGb+T26dlrZVT7RziYR/qCtbriPagZRC/UyQm+a
3DIcSZvKBetVvfqw5Q7A2w==
=fVnG
-----END PGP SIGNATURE-----