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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.2.0-1
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
 c10bbd1f900aade49f2595d3f724f63392c7b7e7 1920 flocq_4.2.0-1.debian.tar.xz
Checksums-Sha256:
 b9db6a14d9a8884d21a36acc152b54f4843962fb262294659235dd55d4477758 334008 flocq_4.2.0.orig.tar.bz2
 378875f7ca61f104c40d8e9c43993a35299ad8e0e11c0679ab939d72a698ddea 1920 flocq_4.2.0-1.debian.tar.xz
Files:
 48ef6d7c0ab19466a84d4b1a27f87aad 334008 flocq_4.2.0.orig.tar.bz2
 bd4b92ebbcf1b885369347fa22e2c979 1920 flocq_4.2.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sSsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRUnoP/A2ZTfy9Y4GcNN0x8iSoqSOQHWQUwfth
KwQq10+lq0bYBJhuC2b5zvr25eJNSAVJpDF8+fG3mr/eRKiH5rG7IGYHijIw8s7R
dFQETnHxHOGmSpujFUbDqH2XRZXbIDrQydbjguYjN0j7FYvfnVtBxMzRtJR6wUx4
GFzOQ5JShDb2pqE75GPvMAieqbvZZfRxvjpxgOkJRzqF6gV/vjNFrF5AaTVFyDGp
Q0Iyr0wDILhFWN2AEuN47c30mcnxwj92mmo8g0JeFua47xbhagnI1uHdD+IDEZjW
EdPcRKxi4qvdynHoRID55T6+N2aaFXL9VOrijht/5lLtMpw07TYgc3/RxoaiWmTv
sN9cCqkhCRYM81sirdBXGluWy2P1fIbBxKzleWBeo0INCVT2en2nDtZN1yPSHuO6
lbMavjGMrVQAuHot3bqqUKJpCmqZQ1XG0gBeJ+qUx2XeFAR9RP156McK2/Trrwjf
lXH9ohYk9cEWowckhC/epnRXUsmj/RAl4qBsCxeryt22ve6ypAxBFJ2KIhgqAWvL
ILM4sFuwAlV0vB3543iNSTPq88BOysjQiNp/NB7tskiJOQ4TRbJAO2vy4wimEx46
hePLsMak91TagWHwJxRFdov5rAVn+JjSuXUiSmgPAaptdOmVvqpBtpCC2fkwpyVd
M7Ge44lGtUB9
=qzmq
-----END PGP SIGNATURE-----