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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.2.1-1build6
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
 3624bb251b7d15f47fac04634eb31e73c4548d57 2196 flocq_4.2.1-1build6.debian.tar.xz
Checksums-Sha256:
 38ac2c205f69716c5c10bd378aabf3e97b852862e7bc511afa6e8744a9f54d79 331047 flocq_4.2.1.orig.tar.bz2
 3bb6154c5b654ca762532d563ffff72fc09b5d947f2c3916aebc1a69b729a10a 2196 flocq_4.2.1-1build6.debian.tar.xz
Files:
 3d232009af380ae5a366f96fc240ae48 331047 flocq_4.2.1.orig.tar.bz2
 e70ecf13e5a40daea629678d3c18c587 2196 flocq_4.2.1-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpOYg0ACgkQ808JdE6f
XdlMHw/9HfmhCGxvNwxGp4TtFNdFC9DJV1dA6Gby8FQXMbwkDlGViP30kU0pHvvc
nzwU3931o019EMWmv9fdyyZshkXqY3QZLYbL3Ah6+PUOYJUzPqmi+roaUnGU07EP
higO7dLeZDHK/PMefDlKhgfdarjCgn/nx3L3g1NMAsIDe3uD199rEEY5PUxWNZkI
3QuEb2D2bpZT/E0Egi23wQ0Z4UCSCgvSJLfMjnWINt9jgvArHh7SD13Y/d3E44vr
PC0JimA2Efeyz9ySy2A3DZrLE3KO5nOjLs9W0k93Ln0z+dfYKGpiid7v0qPQ42Nk
Q3sVDa71mnjpzinAkMTITNYB7OTI8JO/fe/uc9nHO69yDBHf+PTeeuzouomzPv9Z
azMab8bQr8DlkiM7+hOaZhomDoMlE13w5kH53jcB5nCnjF6ZW121tj/MMGvMF6td
Knf1lI3b8DFPAdRjyPrMNR/1TU3S3Hkygy7K0ugpR12XRNie5gXoXKxAoTyMAEyi
O5wzuFMjkoFt8Q3P1sbLELMIgJBOP3m8Hx+0gX2N72DzTYYedn5sb+yl1eZS61b5
Z3miTwAi9syXCtMrWceiWn0WPFxMmhElJkYjlu/NGdfK2++pej/3n0TcGUa+E4+3
E3GplqFabVo6dP9nHEyPU+IGz/co8awFkIa/bBq4+SmF8XbFw4U=
=7JYW
-----END PGP SIGNATURE-----