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

Format: 3.0 (quilt)
Source: coq-gappa
Binary: libcoq-gappa
Architecture: any
Version: 1.11.0-1build3
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:
 56bc9027c2c78a9c65d2169b81bba8f059dbe79b 92843 coq-gappa_1.11.0.orig.tar.gz
 5fefc4c2fe6bbfa762f515d92dd68130782a14cf 3772 coq-gappa_1.11.0-1build3.debian.tar.xz
Checksums-Sha256:
 434f5a567052676e2029049c15397d1e2f2aa28658e98d0973160411303b9b68 92843 coq-gappa_1.11.0.orig.tar.gz
 3df6a0d01ffc2a8954096a3e07a9348adb22a5313463fba145367beb3c7db043 3772 coq-gappa_1.11.0-1build3.debian.tar.xz
Files:
 8cd7788337a5cc319734cf195c71e0c8 92843 coq-gappa_1.11.0.orig.tar.gz
 8522bbde5d14d34f31034632e3cfbdac 3772 coq-gappa_1.11.0-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmqtYWkACgkQLIPbyOm9
DjfsYhAAstefJFUIa7H6UdacWGQlwA+Xh8ORRIVcS7WtMr5AXb+W18I9MET13yU3
HxzwB7q/LfkmxeXZSuveQxwDt7FmLVTz3Q77B/8xDQ3gDa8fu29le7RT1hK1CWMu
V+GgLfwP/KoMQcBbZVhlTBlLUYACjfuSfDa2aGa/W4FcEMJET9GFwtgGo3Iz3jqk
21KTH2AVNmLeseNhk5i/qeIQ9OxWgy095b7PGGfZB9EdZydWopLgXnD7GGP05WfV
jfEzoFx2aDZLCZ7W4yihrjsKwN/ihIu8g33R2YpbTpBvv0gXtFNam0ua0KK6PMI5
sykd0o7NhVESLrY49+/2J3viEE/8LWd/1ssyI6cdlrphFaeupySbdlsgJ0ROEEFp
SSt9hZBzOPLSa8yFTFMn/ckYVpoB1VktU0tp/z5ERdnxkVI7lE6627a2fZXdN3Z7
XIO3wAXfIKq80X9dQo3/ljlfhg7pspG6QOsjK2JcKcnAIHhUe4CNgG57uTiw70s5
gEVyiq/8TTuE8Z+2wOFSIE9xYff6H/I885DSL/86oeHS5yNln2pCdhvNSy/Jrno7
AgR5ApiRiV+9H7LvfzciknUmO0HPios8N/X8oNx6ujsGoekcNg0/FYsxIMTHVJNW
0C3OIVzU5FcEYjMCJd26i2+M8bReID0a9XJpp8LkgOWdEsydWbk=
=XUsg
-----END PGP SIGNATURE-----