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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.1.4-2build3
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:
 e681942a1d1758c9da8d641799c1c54dce2cc09d 333601 flocq_4.1.4.orig.tar.bz2
 8114ff9e57b20ad26e9fdba3103db42bcc487c6e 2052 flocq_4.1.4-2build3.debian.tar.xz
Checksums-Sha256:
 95d8ed3935661b0e3f801218fea693cc0fb0394aa2e1e0574ccb2d724d08a878 333601 flocq_4.1.4.orig.tar.bz2
 ccb0e0b2cbbf6c373d0f2b4e029187d480f77785683768586b7f7a86a676f54d 2052 flocq_4.1.4-2build3.debian.tar.xz
Files:
 f95b810cb0f030bf716c8889768936e4 333601 flocq_4.1.4.orig.tar.bz2
 d8f7e51cc2a29e90854d5fb44d674582 2052 flocq_4.1.4-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbcZJsACgkQLIPbyOm9
Dje0bRAAkybdgvDyGrR3Em9+wjjn1Q8lrwcdjFdDOZfl2Ep8xVsNAQUY+MINQG76
0yk2s1h3NWCtBjR60sj5skHsRPJiCUMjwsQm1jtMYT234qu9QfA9RVXzR+Ef5VDy
DkCJ2lrDlK8knAVnBp4dO8aD4HhJCpCFaFNF6M1QVcd+39PsYYOn+EsDHCo9auzY
KKBDyl7gooAnrvMbEqh9Cs6WW9wm+Fd1h1qx4X3/+foI1K5grzZKF1FtOofQGYzJ
gn5NSp6C4KCQNUpIYApvf45nLHgq3+JfUbXcF0m2hd2wIyHt3IdH5sBGZ8ESN2w3
szLfOaUDS4rVtm8PzyJFgA399lYFObWSLQ+CvEkuAkY9jaZ9O/h/GslnEPxkMGwi
HrryJdVgSadSMBAsTWNYOl8S5qstI3q3VPJgwDNptIN7ad3gD67O/VLTePewksA0
T7xK5FoOL0lmPsWhM6ECCCm9KW1NTKuJlTvHGt6B19ZlfvHaHWmGlHLDLLUk5TIY
FcWLPPi9JFbP22TtGKXI4FOMMpX4mme1rxxUf2hgYnZrqivnBzTvjP9ynj1KiwDZ
3CjXIWJHgJng2p6vytFBNKW5GoFBeRfaLoiFPS2qtGXzYqglTR9Lh8G55OgA/gGv
IRXqgYuoodLTWMboHr0BSi3+1SADOjd6HXU8TsKiegvZXHcbnPs=
=0ACo
-----END PGP SIGNATURE-----