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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.2.2-2build2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://flocq.gitlabpages.inria.fr/
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/flocq
Vcs-Git: https://salsa.debian.org/ocaml-team/flocq.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-flocq deb ocaml optional arch=any
Checksums-Sha1:
 29daf40b22588bc33b9b4929f6075e35852fd6a8 329748 flocq_4.2.2.orig.tar.bz2
 18dfcb081750d0dbecb3db3d9299bc3eadccd3de 2112 flocq_4.2.2-2build2.debian.tar.xz
Checksums-Sha256:
 176914d121c09ee07679afd302fc42675592c4c3db2c1e3a71ad69b03c2b0a89 329748 flocq_4.2.2.orig.tar.bz2
 6b26619b91bb627a7cd381ea851e0ad7563d7c40c37dc1a0ad07410738972945 2112 flocq_4.2.2-2build2.debian.tar.xz
Files:
 4db33be7df4d7307ce4e011e74cf8c94 329748 flocq_4.2.2.orig.tar.bz2
 0857c507668d7ac72f277e63549ad59a 2112 flocq_4.2.2-2build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqT0S8ACgkQ808JdE6f
Xdm93g//auUkH7PMcVL8YNTPq5zEiqSdvsI4qwkLWm9Kd9wBFkAGKnms0bJmZD5F
m4UPNYqzOdVAq9EJho/rZpGpeEXuDXGxbJGzP4PtDWFIFlb5X9CKZsIGAD1P+nt7
+swKgckq5ai/rFPl6+Nrw/vHy4sIeGUtCSFH9VpkdbagywIiD/E5+5iLyCNZSavA
c4VfkEC1SIPWjhDa9xWSJxlobiyjHh2Tpaqis5dJFvZVvekHTVVq01PBT+ahj7jQ
OK2qnmx5pJghfc38ECa+NZpZiPFfpG0hk8QHNd2m2NqGSSrijNfIikN7g7+ikRa5
zGqXXr3h0elGlrbHW3w1mdRPPtvUKrQTKZC7PV9rM83EbjZv7qVDdKNwUnVmDmyB
A3bSX6ZmpGpAVUxal0a1nrTQE34UmzZn96ngO3Qgy9uyIfPr7yfcKM34a8LXvAlq
a2QAuyUQkkxglD/FM5a+gPjUf+FiQNerRa/4YmunrWxlCuvzKDKGzXkrpSR2dd4e
02n0hLHHp2Ty+6cHkTKCWaOSLJavi7GGj1+r5IklF/7K6SLifJr/01B4rYgZ9qr8
q8Obhft25XhH4qmlF2Va9lxaNDMnQO0CiaRVr3yyCA9WE8RFpQ+5iqom9A5lo49i
3xx968tB6Bu97hmwnGinQHJs1TtMKgXQIEY9jqiu9fId8NjEQDU=
=S032
-----END PGP SIGNATURE-----