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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.1.0-3build2
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.1
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:
 21449f2922ef3ecb6e53bbfab0de3ec24bab42c3 333149 flocq_4.1.0.orig.tar.bz2
 264876a43b102a5935c4199faf16980ff5356dd9 1624 flocq_4.1.0-3build2.debian.tar.xz
Checksums-Sha256:
 0a73d9ad143c4022e818a6df20a4cf5a4c173e24c36585f4f2ddd24af4964fba 333149 flocq_4.1.0.orig.tar.bz2
 35a6c860488b1154366c604a7409b001779b0999859f93203d52eed6fa49d773 1624 flocq_4.1.0-3build2.debian.tar.xz
Files:
 e7148b368a70f81feb3726f72c600b15 333149 flocq_4.1.0.orig.tar.bz2
 4a5bea141cefd6678649370cd50400e7 1624 flocq_4.1.0-3build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPudjAACgkQ808JdE6f
XdnXZg//f4rYfgKjebMDymbQ0HD7WgXC+6AgsIaJvGIo4GvS4s83FJfKjpeuBqFW
bC0ah0PuPGdX3LDDuIN6V7SrnZfJLHqT+fia9mohinz2skXdJrgEfN6hSUhM6IRJ
ulQiVcO4hbo2tvbw5Bc5ewXIqAhJOZB40JYMnMawSrAaAoEgWEaSeWLBW31T6/CP
6Cptd3pFQFLqvJiLCehzhpT+KTRmCOzome4NjUe1DD8vqtgI/lvsrOPcWVY+Cm9R
4lfUMJU3pPxfIRLRFDaDY4SRnW4iKoXo753ozbkCD7JTj4Skih/hvqK9uakrpS+f
sOOGTgEOovJjmwFoRYtopmPteenJWfwdYNKBUvSHfeiYgGymndY36HB+ZVAEi2OX
XX5MS9VJkeGbdjMZzeCOKpV7WuXOcb4zqF7I6Brv2BcMaUD3yiim0G/Ne2Zp7PPm
rZQHIfLRx5v9hfYEpUJkOd5zQsDfEZANe56rv71a+IP4NS/iTl5kA9rOMsttf7a2
tjTCbsqCRJQoZJCgCfBzBYiAj/OGO1Im7jDZ8kOXYu0bzKDdVXMH7CbZ//xa6vfx
43c3qJ3soNP68xNkLvJhydcgWgSBi7BP6ra9dP4+6fVjVNJzy6yiDwdEqWqjGl/4
pIzBNgP0+6Zi4hhymrKUimF0ygVjQcJlf/yHrH+ZHW7XdoIiYPo=
=fuTV
-----END PGP SIGNATURE-----