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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.1.0-3
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
 bc9bc2ef19b29d27649b3b5e5234df7e90ed3c4c 1540 flocq_4.1.0-3.debian.tar.xz
Checksums-Sha256:
 0a73d9ad143c4022e818a6df20a4cf5a4c173e24c36585f4f2ddd24af4964fba 333149 flocq_4.1.0.orig.tar.bz2
 98568873a5d739dbd1acc8fc31664fdc72782568ead76c65b3a5e1e53b1eedf2 1540 flocq_4.1.0-3.debian.tar.xz
Files:
 e7148b368a70f81feb3726f72c600b15 333149 flocq_4.1.0.orig.tar.bz2
 5f08abb4e61ccea5adcf9c08c4880e85 1540 flocq_4.1.0-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ6vMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRxgMP/RDDIM2zQYrjPFU1vWBzWqcEF1VAeGI0
ylqnD7/48XMYQ6SF4W1n2Cvj/6nFSm98nB7WyDqimaFSIH+CrQ+2SjpzuFPa+2Wq
nIqvMw/U0LTQKuJ1DaSYOMDH3kuSdz0ffojy0yZNSyvAosIgMri2vPCV75zTe02X
U+V6DTs8ASHBl8MekPSOYMiCMtz0IpT1DYC4EvwrxNfbRFN715WWaEOYGOdFbd5G
PoqHoo0azp3W2MUZVm3F1C3Jw38MUL3Qq88Knd80gtkJKrFmb/HsOnFMmocF9p9a
WGqhtaQ7aWfZ+7sJ0aM64QAyVd86t6Tw8POVwNeMQ+Gf+bUPtVj2dH79ncFXn0xK
UE5C+LoBUIl0kstEBrovC3kZfeSSgdRBxbV1GM5y4WILE//2OCDcvcuuebujezEW
O+Ta2i5paT2nTdKl96PKIBmr9rXgoAzV3bNIltQQqSL0azzMs1LCIc6RbwzNhJgb
vwvE815i1E/js81nk5Nw2Ruv/9FcPszRott2Z7jVOd5zKBSV6yM2cGyC/DYFuQuZ
ITqtuiw3mQHux7s2H5Auwz6JrjLAWEfz82eHXRgKgYjIHI/ov9QgZ7Q96idgZ0Tp
cZ7aX6QszBgCcdkmMFzG1gVT8gAsSc+6VWM2Tkft8KLpvQOAbhre0AIiyNSTKrG5
+Zvw2HdFpUrw
=6ebv
-----END PGP SIGNATURE-----