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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.2.0-1build2
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
 261c222ca28ff97267a59fb922028ae375ecd855 2012 flocq_4.2.0-1build2.debian.tar.xz
Checksums-Sha256:
 b9db6a14d9a8884d21a36acc152b54f4843962fb262294659235dd55d4477758 334008 flocq_4.2.0.orig.tar.bz2
 e84f640b5a6acb94c94ca90d29b31cc579c26ab5abf55237852033a7a9f76117 2012 flocq_4.2.0-1build2.debian.tar.xz
Files:
 48ef6d7c0ab19466a84d4b1a27f87aad 334008 flocq_4.2.0.orig.tar.bz2
 cbe1221b22cdfcf0283049cd54da2706 2012 flocq_4.2.0-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmeex8IACgkQ5mx3Wuv+
bH3Czg/9HxLuUDkEM6MpbHL5NRafc5fzsRlQ/d1aAPREYuV8R0d0KQrcbm98zbdd
mXfIxY9Ls+SKNuK9tZ8K595oRtwoOvUrsq5FbkHi/Co39IwutzIV1tCPIaT95RlM
BSAgtQwu/g6Kqb73Ar9L7Xh98Nb/8bVF9ulOWWn1ICVVJTfOYRA4KrHTQlcsF01+
B5sxAnRq98F4Gv3HaXcDYN5QqHPbIcssWWsJLQ085gq4tpDh47x11rVkSAiiT+K9
xZYZ9sJGeX0vaVeyaI+3Hu08qDJQsS00z+6zawmJKKX9qgX8b4+InNmfVkKZRSaE
Qfzr0tQDw9M1hmdD4leTsqaWWgYRe5vXj0JvFsH/Bhyt2s9ZkwxkHA8x0Q6sNyC/
/8o1VSXe1KMT/HGyoegTK4hCzHxxukj8Hw/pcxj+NxXo/CIcuXa0KbShAxZpUiA2
8ZaTHFgGoxLqeH1IcRYmsSynv7Q/WJLMsJBzHMW6bsHwb0nhJCaRsXkCbVxP7+ha
QvZ8n3P0oxHRRft0pc8NOx/plcEqCJPYeBHyGDFpkIMAkU8fasaDeevNjgsZHJim
KcW8gQNo0h6720RJXHFBdXUqJ6Olc0CrgJypnyZApjSgGR9ZM849onpK+dnvu7Yo
qyUst1HETqaiQjsRljbJfpAcOR2qj7U1StanymiX0PT/oGHPdjQ=
=H6GO
-----END PGP SIGNATURE-----