-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.1.0-3build1
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.6.1
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, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-flocq deb ocaml optional arch=any
Checksums-Sha1:
 21449f2922ef3ecb6e53bbfab0de3ec24bab42c3 333149 flocq_4.1.0.orig.tar.bz2
 fa3c1a181393ebce7fc8266e114627198b70f743 1612 flocq_4.1.0-3build1.debian.tar.xz
Checksums-Sha256:
 0a73d9ad143c4022e818a6df20a4cf5a4c173e24c36585f4f2ddd24af4964fba 333149 flocq_4.1.0.orig.tar.bz2
 6c16ec8b8fe9da7178d5c2c9db0134658131e6bebb5166f147a5c9f2ef3b6484 1612 flocq_4.1.0-3build1.debian.tar.xz
Files:
 e7148b368a70f81feb3726f72c600b15 333149 flocq_4.1.0.orig.tar.bz2
 7f61590048ccebaf3386d73c26b1965b 1612 flocq_4.1.0-3build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPSegAACgkQ808JdE6f
Xdk2NQ/7BARh9A8DCvtSbS0WrQhtflLkSI14bEXgzhJ+TjMCsxW9sfYoS8yl719B
2MG7KPyY7fJwqawN2yUuMj/WlFVHLNKEI4sxXdCHDOB9SYijsGnt/CKtkwJeUTAP
tC54L2huQzJPqq2egWgZjQzRdOMw1ytjIR1GvZGnVbvJYuTTDCA33GrQwd02KAcc
JgD9ga+N3KMu2AbGNkBPgsySaI3F0K4jhDvsGy+yHIvGyIocHD7qPGr13i+KuH5/
Z0Xj5NGeLKIkiPZfG77184Pow8I5JflXOskOfwjDpB4PT5TGQ/B8ETR44plmOQ8m
5WLHNUDdmMkkK4V8t55pqgtaVzC2tj4YVhXB1n1c7IzZH5rmwrCbIXDO7dwAlSs7
Nj6VoCAhsyGADDWQLJCePlDSQcr70gHqKQ8Y863GlaUCT6IRgzSmU5K9KLCTEvm1
U/pB+jb2owdYcBNfD715AjozF0PZRIpmmRSUF2ZrwfAWp4f7veSfngw5YvZOZF0F
pKaYepESF6j7d7qGvRqF88wX7DV/S3iN3Hr9r/mn/nNwOsjTtGOPSJj6rcfdHydA
yxMnbInWephCgIpel2oKVMnrpVnzRZKEjwthurh8Ftshjz0IaHWohQ8YXb7C4MQ1
tKOjTKB7Fqmd5cPdcPwiyCZnMHocwAT88HD8KNP7ZTmLe8uexLg=
=dVm0
-----END PGP SIGNATURE-----