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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.2.2-2build1
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
 452b88bf76ba05a84d5c3084f2c01fabf3ced890 2096 flocq_4.2.2-2build1.debian.tar.xz
Checksums-Sha256:
 176914d121c09ee07679afd302fc42675592c4c3db2c1e3a71ad69b03c2b0a89 329748 flocq_4.2.2.orig.tar.bz2
 01ae541750103e2a4fbfbfef169244fe51beac7006a298958ed1002d33cfdbc8 2096 flocq_4.2.2-2build1.debian.tar.xz
Files:
 4db33be7df4d7307ce4e011e74cf8c94 329748 flocq_4.2.2.orig.tar.bz2
 2b9dd7d7e5e8a047641d6c76e237aef7 2096 flocq_4.2.2-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqQQwEACgkQ808JdE6f
Xdl13Q//c9zm7Ycm7VNZjbl2oXdIiW6IKvUxLNwPTk1Wlvo45Q/18yzTFJH1E62J
KyQgQe7+/RSrAt9wWxJRXT43BsdYHm+ercTwBan9lP3fEDaO+H+WI99GzUpCduyu
VSX4A1dEx39o68tBp/ZSmy1FZQD09FUEriirLAxLnEmr2fvDC1undrb/NFNjvF6V
ahXRVupt1Pfpuj+aeLe8isMVyQ7oCYmmR4njcSwzP2aKfsoeesT1LN4M4PgxyoE7
TtFYWbaMcyl3Yv4vnj9hW7X/Kx3Iw/tkKFUY4u/HzVYh0NTOcnVJarjTEI28AiJF
fUk2WV3P+ViL34yZJf8O9GvvmZ6FBkhaNinvNderDUN4PrrKThh3aE4x8QFNR/v8
BV0jdrtMnkGpwc5yypleq14imXbOfKzsx9ZQzd5ylD/XM/KdU/8eTCj3zt1ND8+P
jrmUdR1T/9avSWrxsThKgxOpL2GlJ9Zv9VPMn5mW6BqUipg0ZIHqa5BcxgMcy28o
PajVGkCvizl5wzPXjy/D3s0DIKvS+OIvG7i8D30HlT5QCWGYgf8vMoOMF9fSrIh/
RNHcu9cm7ieFucre9+RncqCljfHNhlDAFrpdPjIODUygeVGSBcxrd+x+CiLPIzy0
cZKhPlPTIMQ0o5fjEjrECKrM6xYhxWQZ/IYk9DJC0Fqkrw1H8AU=
=iGBs
-----END PGP SIGNATURE-----