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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.1.4-1build1
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
 0a507c36baeff4c3eb28d5c2c615e563465ac65f 1856 flocq_4.1.4-1build1.debian.tar.xz
Checksums-Sha256:
 95d8ed3935661b0e3f801218fea693cc0fb0394aa2e1e0574ccb2d724d08a878 333601 flocq_4.1.4.orig.tar.bz2
 3f04db75fa86709dcef909cd5db98a1299271b6dd597a6721d503eeecbf94253 1856 flocq_4.1.4-1build1.debian.tar.xz
Files:
 f95b810cb0f030bf716c8889768936e4 333601 flocq_4.1.4.orig.tar.bz2
 9b4c296baebc470636bf023930d5e604 1856 flocq_4.1.4-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZCWjAACgkQ808JdE6f
XdljwBAAkV5X+1R6vgT8xYC2VYkxFIcdYXPujnhfj4hS7dyAZ79SQ+Vq48suZrp8
loPR5li7eGXIwV+4gvcvTysA5maYOEeOZYGEh08eIyDSkDWtTLGlYkuVvs0ZuoOD
3DGE/U7sZifN9kPokLmx8h88EkmChSWq0gNHxpI8dMuy3bKoWeqMiEmDpkp5VmEv
PKea2OIcYxfsmsi9iDOxxX4ktO+f3kmG/MHjpODTs/3BnUgFEoK+hlONbv9L516O
O/aDCUmd5EHSKfcNEJj66K52Yvhcb3L4iFXZu9JvvqU0WZRaOx2MRpSYugXgmN+N
pvegzWgjFv6wEedLlgIZtHXpr6qtXdvHEqSWSQAcVzR8BcJoWlfHH3co+/2uqL2b
bGI0WVuA266X0qXWlXOdYl2fXMp+RPDi5OnDUt9Tl4UUgc8FlIFEK1KSaPUiYCbA
HFj3NJ2qkpX0PgB/qtqgJrF5AafepasnkEp6RG1PtEAwQorqrcZeT7rVDunyFB+S
bDis0Ke8Vcz3PBljRAIHmazeAWpxzvBjkcBpXOvc5lH20QTom+Xkukpn9bACDfVZ
6WBMMBIAIScNYEumwMj99UDWhJ7gO33klRj4+c+I7RfBBd/Hf8aDNl7F8y5xMiMR
q7IJedBu1LGUXxCflRiz3DLK9o6iS+BmIWf6PONzsHq+586ZLLU=
=aXbD
-----END PGP SIGNATURE-----