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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.2.1-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:
 b141481e4b5de2bf4ac1311e4004bdd0436b00a4 331047 flocq_4.2.1.orig.tar.bz2
 e543b9049c22de4f94e2e94a3a145ad22da0dabc 2016 flocq_4.2.1-1build1.debian.tar.xz
Checksums-Sha256:
 38ac2c205f69716c5c10bd378aabf3e97b852862e7bc511afa6e8744a9f54d79 331047 flocq_4.2.1.orig.tar.bz2
 d18b919423785fa5e145c2da0ca6bd9b2da6fd8d826b9eb4460190b12deb8d39 2016 flocq_4.2.1-1build1.debian.tar.xz
Files:
 3d232009af380ae5a366f96fc240ae48 331047 flocq_4.2.1.orig.tar.bz2
 360628f54b23d62215efca5b99f86afd 2016 flocq_4.2.1-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAme0570ACgkQLIPbyOm9
Djce5w/8C1STotPqdwl/sXjFjDpMm1xReD+kJVMGHNgDW/ps+1NSI2ryCI+v9r4+
zYikxs2l/r6GTO3oBXMTnz76PcV9ukB4+uhv1JCH8kVwAkZa6GSdEoCNMBeS/J5p
eYTrICEwMhwgFlUdkITQ4lsoRsQVF0gTz3FpYkC9VTxoDvFemxsT9GD3XsT/eym+
mnJuUP/43OYT53UpPiwBAW6Wezy46HgUFbvnVjO45paINbFVCETQEakIOJcD5nsU
ikeVyMRjU5V8PIqlONehgSqsQ//kqhpPbdJinbYMK+TWIG0o3aEurwZrpbEsiVc3
6XN8t0MoNZ/GHD3W93xE4S2RjOFD/C1Q1kgKHpYGbkZ9uAmViVNzPU6pP8cI5NLK
pvAL9m1k5SgXFT7vN8SZHsbtwiEWnkaRL94ZKkJP+L5uWZYook4DbOSv2vGpQtnZ
f9URJig4QC1onKnNoP4fEtg1WzgRMB4q6hWMzMtaYdLu880+BifpjO+/rqs90ecs
6/n7n3ARohpPmGW+7qpP4IpV1ebM/Cw0xirNE2slv/py7Fise8fMcjdH9TMVmjPs
vQE7XdGMSlBh8uG48chHCOJ7ZeYO+efZN98XgP5neWJp0/a6IzSTgwdazT5VbuI3
3/qGL7uHLXaQItP6FGKr+6ug4KFz/j9uMcHQy4nemcWhOEl6ElE=
=C8oV
-----END PGP SIGNATURE-----