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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.2.1-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:
 b141481e4b5de2bf4ac1311e4004bdd0436b00a4 331047 flocq_4.2.1.orig.tar.bz2
 dd415f00c8f6c3355548b35ac90512086394c950 2084 flocq_4.2.1-1build2.debian.tar.xz
Checksums-Sha256:
 38ac2c205f69716c5c10bd378aabf3e97b852862e7bc511afa6e8744a9f54d79 331047 flocq_4.2.1.orig.tar.bz2
 474efcb45befcb130e8c390548be43f3ad9bd996f6bff05a05023685f1eee173 2084 flocq_4.2.1-1build2.debian.tar.xz
Files:
 3d232009af380ae5a366f96fc240ae48 331047 flocq_4.2.1.orig.tar.bz2
 469df1ce0041a43162b8de8099613344 2084 flocq_4.2.1-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhVRgkACgkQ808JdE6f
XdkD6g/9G6tU4zmEsjW5hMrzdLDCy5LHA+bIBw4Uq4QccvGD3G3e0L3FaVnzysvv
PtNYvW8Q+QXEW0ceTwVP6FY+xytR7304o6BpgDVhS+qFt5q38iGgcCzTM1LZC82k
D2zcB8qkjpiEH4+YQ5ym4mMGTQ/2mveaNHsVVyt2RErhT2DZEUDfl12wnOVHS73/
//R+kstXsID9G7z+WnFA4/6Vv4YPK+xoXdSHYNiaIbc0fEFsFwZij8NWEpPPu6JA
QtI0Y1VQmbTUxJrZHsvtUr+yNuXQh2Gv4dQCphP9uXHhct3t1ynuN3w4yQFk9wRp
NuOyMm6ccYEWb1mqVcm3LRhlrXs2BiAd0P0G9WvHsk5HDLgLiIUjXIBz+B8Q9kXj
IHBhEwPlH/ccFVKdlOMaCFGBaLgMjGNsWSEixVQcL1yzp2D+8iF1FCSMgDcAeHcl
m4ohosD+hhUPH/qlyPAM3uDjAIuFxa0HOZs6rWYHvYqNIHWQjXDcIs/H6Zdfsqo2
d31A/E50DJ82tJuzZII8rSDGS7S7b0UjS9eLpDfWp/lyWUHvMKLKF3+4FYAWEKfO
DgPlUBDzCvVzLsB/VniiU3BqeWTeak+mOck1S2qRTD9374kt+URBf1XXy/ETd3yo
hGOUhPopWvkPhAP/N22ol6Kh5wkunjF3WnD1mI3PSRThAIzgK30=
=Znzu
-----END PGP SIGNATURE-----