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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.2.2-2build4
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
 f474f89895210956b032975e1e823aea74f9acdf 2168 flocq_4.2.2-2build4.debian.tar.xz
Checksums-Sha256:
 176914d121c09ee07679afd302fc42675592c4c3db2c1e3a71ad69b03c2b0a89 329748 flocq_4.2.2.orig.tar.bz2
 9eb0c3b32eac3e960bc5fbef9af0a7d8f94bf152d9df37ba66dfd7badd633226 2168 flocq_4.2.2-2build4.debian.tar.xz
Files:
 4db33be7df4d7307ce4e011e74cf8c94 329748 flocq_4.2.2.orig.tar.bz2
 761d4025a9f1d59104a779ad31e9d1e8 2168 flocq_4.2.2-2build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmqtC/cACgkQLIPbyOm9
DjfCxQ//VZmaFFdb9+KwpKW851dGV7ztSOcr75Sf/cnAB9iYs5oxO85QM3O8Vl8e
6+PXKJHldfgJHduoIiZP6q69+AxwHs7JvRcp/GheclHTKbxcZvmKCJGAegLgQNIq
yf92N6GDS0PsOlz05n00Pi5qQ2aPpHBYFmqPjLUYMU/Ibd9vxl55Mpfdu8jLYBDc
kpwmio7D7PaMWB2tt96qf5v6HpwegoCAbCXVu00c4rZV/JEkhlvdvA0/CBtp7izF
BfCt1ncwW9N5/IwO1XxOOH97Xm5wTBI+csnrAClcfQx4ByK4+G8aLkIgIVvDfZZP
HMoFBfn4JDsTu2CqUfGwOZcaSnQYChSr5eOyUl0SZ4NWDI0Fih1bp7VAlMZPD/LA
zMEpoWofgWFV8Y0RpnvyoDkRjsJII9ayhVjqKljTXQIRTnh3tRfbZM6QT5ByGJZt
HPpQsZ32ggui5XukrVGCb97ZkVuoKRgJ2TUBK/JQzumfH5BjmgxodaSWt8YWkvzx
y6Eq7sICNNeofViH7PZUbAuzv4RGeP0khRIo4Tn2P/swRT0MgER99Zk/rz49OEFc
kt1nkZQ57LrWdtUkqKIr3NSQhBeOrthOckOZuwLd4yTh79746A4XcGYBROpotQYm
evmluA6eCUdiur7u3yzJ5JVl6CR6lOHjehf+wW5pAanUg3maSnE=
=6aoQ
-----END PGP SIGNATURE-----