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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.2.1-1build3
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
 0223cf907d34b05445ec26ba6329c5f3414d50da 2108 flocq_4.2.1-1build3.debian.tar.xz
Checksums-Sha256:
 38ac2c205f69716c5c10bd378aabf3e97b852862e7bc511afa6e8744a9f54d79 331047 flocq_4.2.1.orig.tar.bz2
 af036163dc80f5e608f103cba2d3661b654634dabbe5218d006ff7e1452152cd 2108 flocq_4.2.1-1build3.debian.tar.xz
Files:
 3d232009af380ae5a366f96fc240ae48 331047 flocq_4.2.1.orig.tar.bz2
 3892dd604cfde504e6185b343aa6fa7c 2108 flocq_4.2.1-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlb9fYACgkQ808JdE6f
XdktWA//cXKgCHvO87lwr6JcZCSNsKj+DUbYxCzMbhie/x/VVWDNkGQhy7WXLyY/
SY09lkV5IN9zpr8jCl0urmnusinSMBu5K+UQHLEwmFntDNez62wjuEN/XZcwcvTf
oNdlmBuaDEQmut+CvbeJkWWH9JRfGAbhWSQTF6eada3tiqhKaZfHC+lHUKVGI0C7
0nfo/Rc57KMSCApKZL8mEl7bDE1UMDBN9knj6jv/B0GokNKqUv5pMQiNIwzM8YAS
3wxW3F+btKSgJYoQBP4y9zRwGH1LvNNs7VEhYgdrpKnzEUVAVKw7p+JY+eQGhd1N
f/UuwDDM8zkk5dAx0sdhTPele2w5yiu6tUwKmH2ibkGArHOb7eabhFljRmiLrF4f
um8mpH/I8R9KRJVDXAHKwA+PM9lHGmXH33ECzCDqwGhs4L6WHCkYmnnd+oXkwf5a
r3Wx5eZWx4d5Rm6EeRJczhlA5eII+8vwJLyi0OhMpBeQ40sj7Ze6vZxZQ3ExmBzm
4f8Z3zOPJLEXWgvABSFG4hYOVzagkDON5h4RpOWpZ/C1Pbmbz6Cgvk6qE5qadr26
wzm9P6AAbZeNbHREzQxVI8tdOVY5gTb3XR2rQU6rHsq+CT1UEG0e5jZuXwldU6jS
8uX7xbB2VaENx/KdDICYOKsFJYgjuaWJHB8r/HCYhAg1QokkBd8=
=UrPy
-----END PGP SIGNATURE-----