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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.2.0-1build1
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.2
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:
 4a7f9cda06cb0fe188a39003e57076e6138ec8fd 334008 flocq_4.2.0.orig.tar.bz2
 3f14287d5b166025f74ccdfbbd57762a5bf40ce7 1992 flocq_4.2.0-1build1.debian.tar.xz
Checksums-Sha256:
 b9db6a14d9a8884d21a36acc152b54f4843962fb262294659235dd55d4477758 334008 flocq_4.2.0.orig.tar.bz2
 f06b20901c2bb88b90c9fd118c3d64eb7baa72d5132e44c2c94c2a9bb0097fdc 1992 flocq_4.2.0-1build1.debian.tar.xz
Files:
 48ef6d7c0ab19466a84d4b1a27f87aad 334008 flocq_4.2.0.orig.tar.bz2
 12736f0960151334b4cd2cd15c03971c 1992 flocq_4.2.0-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmc+m78ACgkQ5mx3Wuv+
bH3spBAAnCC58OeLIC8WX/153T4DXwdH9A29wA/fyT9VziVWyMi9bAzPXtg1bx+8
4uapuaWPreD+hMQXoMLTuZO4G9etvEUuSnBuavcwWQCd80PDJGO80DDzRSBlUtJn
+jjEfVt1OILIdicrMS2sUKS8U4q2pLQKbgDUsYB2AIu30FN3pv6jBcT2u/kryYdf
4wFODa+egSwk6Gy4BTFEFYkT42v1J6I0hJveHIw/du0RY/o0rsnxfcyJYKqlVuUg
9s/2wwZ8DAtVZ0pFvbWsURBbVo2ILDK7s2VNPoRIqZkTV7IOmAg52M49dLU//oxj
cS/t0/h4lc7h886vpi61q6FBeWZEXMvJdmq/COghA/YgmzvfOjvE94UjzvZM199i
52dh1B3t4nKV8/dHURWag8NBVeishWMXl0W0plBzwwLtQQbpIgfYMn6IlkpIt63i
FjktljSJYxahls0lnCgNGUT+IgImYryQwtgc+Hv7s/p6Y8aTce8ni9pn3rVoykrX
YBTTfc87e4eMGesbeZCrZ1UlTkn8u10rnfekGvFlguTZ+7TaST9lr4cAo9jtqG9h
i9IXxAw80b1lboL2IdkFHaGcU/MFL0O0oPeElTAGH4PRo/P36gJz3uDdjEKwDBpM
yNVoRZXPBNRib3etQEKVReb1lTc6XTMlEnntKRNbLYnltxOOgzc=
=ovKh
-----END PGP SIGNATURE-----