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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.2.2-2build3
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
 c5561f24701fefdeaf21fe5406ea1770e2c5b166 2128 flocq_4.2.2-2build3.debian.tar.xz
Checksums-Sha256:
 176914d121c09ee07679afd302fc42675592c4c3db2c1e3a71ad69b03c2b0a89 329748 flocq_4.2.2.orig.tar.bz2
 3ae67d75f15d6708adeee8304eb2acb9ee0947fa31467997b470f06a3775b858 2128 flocq_4.2.2-2build3.debian.tar.xz
Files:
 4db33be7df4d7307ce4e011e74cf8c94 329748 flocq_4.2.2.orig.tar.bz2
 41a01e5970bccfc695d873879c8910b6 2128 flocq_4.2.2-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqiVZsACgkQ808JdE6f
XdlMkA/9FmSZ7O0QUbNaxYQWvE4GQLO0hFaOhYo1EAxnhoc4XVvT36gs2TBKzSUr
Kd/l9DplsSSsufTAiQqxbGC2yb9zYzInQMb9ZR6o/fu2FxqTBpR6arLGWVd8+JMm
LjXYigtM/NvOO+a5oFP686NUU/ygbxb4x13TqjrzZY4UREnO8hK8YJbDUEETTax/
l+oFb3c6+XlaUGpynXyWEbTK8j4uT2eRdtvTpNreUEcOt3cY1BTDpDfDwPj7vAI9
kyMy1wM/DW/PsFD/iq+zIgCqvmvSn2+jSeEkSQFAU8R5LfaE8t65rz3u6Gcskydo
hybHu/3tS917QepxPS77SCAwp6pkzUHrSnrh12SaUj+c3hspMjatvb8SUo7RvpI7
qgwp5nr81wWLd+uFH2iyCJA9VF8nP1o3M9d2SGJ8HbBAXbEe8Qc83liogisksqJX
VieMpJC4z2fZXephWHAA7wKJvzt1i58u6uZ4lxikuBEnXCxL0ocbNNG6bTaqgQC7
QjJoPCBpcoBR0P/3xyAXyZVdTr1kGuMOVyX4NtVxqHZ0G5FdRcKMVZaULHPoXPis
q0AtrnoZuM4yOddD3Vg48L8eArKHLpPIKevET8RrJBq3IRhXzWeQYx467aBsGQm1
lIv2TeB3Z9kTdoPKc9uecBgqGpnVOux+Nb00Sa5ytQ0MRggUAEw=
=uM+f
-----END PGP SIGNATURE-----