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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.2.1-1build5
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:
 b141481e4b5de2bf4ac1311e4004bdd0436b00a4 331047 flocq_4.2.1.orig.tar.bz2
 16cdad6d0a47d5813bda1bc9aefd88ed315a52fb 2168 flocq_4.2.1-1build5.debian.tar.xz
Checksums-Sha256:
 38ac2c205f69716c5c10bd378aabf3e97b852862e7bc511afa6e8744a9f54d79 331047 flocq_4.2.1.orig.tar.bz2
 67f94e2be9280036400058111ffc06e93d143892ec0b97bd27b0e855e44f094b 2168 flocq_4.2.1-1build5.debian.tar.xz
Files:
 3d232009af380ae5a366f96fc240ae48 331047 flocq_4.2.1.orig.tar.bz2
 09e3e62c57c22027550a8ff80e0301ab 2168 flocq_4.2.1-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmnOBkACgkQWWH9vpxh
mAn/cQ/8D0eiHeyuXvlpsQ5QU0vgEtt2+OjZK/D8GS2/tVpTrXss2YNmkdeFiFY3
4SF7nsgXQ7p5I3Gd9hD1tsSA0sFNL8hftecOitavha/XiazJ56nL+J4uz2xrZ9U/
yvL4tyVecSVpK72h6gnj7RxBEVEMdT7yXIhD7CzSsgHFKkDFqBoZrNkoZ36Y2tcl
dvMFH/gnxUGPT7XlSAw5UYGI1gTfUMK2Gic14wXiQ/JELiZqVw3LMxtzQ1DmLn2K
U21jBpD7ZfWbIpBdnJB4CzuOp7QoIkicSIXBUVeN/uopEutlYDN8g5iHvTNo99vw
sWtTSgQNq+NH3pR4+qoZrlSEBfR01tYjEo1zIi8focsDWOvRdVA3iA2sg1CYKinZ
6q70RqiWBfN5e+MFUMvYupS8pF6pM9My90/9lSscHSmGnwDObvCG9ZT3voX/3dMu
gyOcdNFL79S1cw+VfA7iHizIkQhfEIZJNWn/a2jatIexSR9FR676T7c/caL/K13B
ETO/TBnnk5b/WKA7QDTbiVSarsUCxm9R0QXPCBVATmgCTd5utUWEzvRXYVAcDoFv
Xg6UsGzvXMI2soCAUPF4LLjz/ru9LMYa4jLC5DbYAXsU3xpnb7pBiqqnv0vb182y
Uz9aBNd112U00VTNpdhQjPVXCZSSzWUkWQNPSiD3MURMrXoSmEE=
=/PVd
-----END PGP SIGNATURE-----