-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.1.4-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:
 e681942a1d1758c9da8d641799c1c54dce2cc09d 333601 flocq_4.1.4.orig.tar.bz2
 ee450937ca2aac22b9c27ef6e2abbf72b0c45a62 1868 flocq_4.1.4-1build2.debian.tar.xz
Checksums-Sha256:
 95d8ed3935661b0e3f801218fea693cc0fb0394aa2e1e0574ccb2d724d08a878 333601 flocq_4.1.4.orig.tar.bz2
 3d140caeafab21646ba4e7b339cfba17aa5b12b1bb30c92d3161844c5864c02a 1868 flocq_4.1.4-1build2.debian.tar.xz
Files:
 f95b810cb0f030bf716c8889768936e4 333601 flocq_4.1.4.orig.tar.bz2
 c9ed015328f4f85d0d0cb222bde01467 1868 flocq_4.1.4-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtptIACgkQ808JdE6f
XdligBAAoVfpEshOyWzZHTm5IjqRgcnaObfZQeJhTXrPhhFLM9RGf329VVDCAH8z
Z6QyP0SimXEYRVBey9Hvlkc4+utHUfXQWgUaT6A8pjRNUzdcS6Ek+4rJAiEkRcN2
J/H4OxyAsa3Y52H5lae78U4FM+TfhEI4f8HgxV2CF2qG0xdoCSxid40dkYJf+mNV
Kso0LSzNdnERP9joGouGwkBzvOcO0rYoxluglmsokuySPjMHmAJTkcrkM6vUGWLN
7o1z2riu/9yBIW58+ezOZ2CPZpXblwx0wYC4HEJznM3rMCAlD0f5L2OSlz2Yl0tX
vwF/rj2YraLD0+oO9QM4Bx9CMP6uzd/zWi3RA+bEhWfsM04tY7yz1af/8GWwbWhL
EE8zu0VTPd2khrzdRhtLQdGwD4nvloMoOEsuj8DF9sECYUWUM9fgEeJRjaH6QKA9
hJLVu9gupfdLwSnPsG1rbWgD2Ux6bWmEFgqtAyI7an5sP3tRDuCsvGCTYDQk95VM
PFGRIB+65fig4gRv4uFsb4NbY1PWmrPX3byq+rd/+c63mNPc9AUfQ2gSXHR9Dprz
l8pqZ2thhoTCKkHqO4sBXBID48eSHvZ8pagWHBOY8yQjftzvSXwnmik1Whkd8E2g
MznMGEqc/BAyaE6YofNDTixds1+d8+54Tb0xO6ZXg9eAQ2XvGjw=
=NlkD
-----END PGP SIGNATURE-----