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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.1.0-2
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-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-flocq deb ocaml optional arch=any
Checksums-Sha1:
 21449f2922ef3ecb6e53bbfab0de3ec24bab42c3 333149 flocq_4.1.0.orig.tar.bz2
 19feb0c2869f302fb5b2127621b2dc79c8573a0e 1488 flocq_4.1.0-2.debian.tar.xz
Checksums-Sha256:
 0a73d9ad143c4022e818a6df20a4cf5a4c173e24c36585f4f2ddd24af4964fba 333149 flocq_4.1.0.orig.tar.bz2
 1883420fc9d418f6a08269f2334e34dc9acc9aef5e52c9fa8c43fb8e39ddc261 1488 flocq_4.1.0-2.debian.tar.xz
Files:
 e7148b368a70f81feb3726f72c600b15 333149 flocq_4.1.0.orig.tar.bz2
 4fb8d7f9469d56034956eda32647b9f0 1488 flocq_4.1.0-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLSlC8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRTAwP/jU/1jytjyhTtofSfFsAgr9l4tIgfDj8
RAaW1bBW9vrSqnfArnUBcZHAKgc8zJqOjiCStjLYveqHiPLFmiGQouZIPJF/moBT
uDfqy8ohd5w6cJ9Ws/fofstzin8mL85fx1+chYUIQ+7NR4oGXN/XfWgVHaX3wSHq
Zkzy8Ob7n4u1pgNf3W+GpsTr0U5PsY47ov3F/zvecgeqnzG9hrfHuOBDWYMw8Goe
moWWoZbSHja8F5DEuABHpCt1gQMQKB+vPUQI5GDwYbrgHAhPTtrEs6jkyQgdU3tQ
4/b7a4KBQNj4XdoAms7QQ5Pqo4TfN0Jhlu+Dw2MmCkW2LmuIDbgCZS2xIoKQRSau
7NGWX7G2lMlPN1BRRMtFrVpRc5s8ofpK0u0s0S9ihGbfEWTOSfpPcK6lCiCWLFP9
xQdf+lzQSTL0QTndzPEkcrxL9JFDN5YciNB1WoxDpMHLjCftsPwelvl+oU5wudrP
6UyDeYwbEESE1LKfqiONEJnSYUav9i4TL1kyqPPBaxxscuTPzs7K5SEFPWfaavDS
YiTCA2RHsYszqkvt9FM4CPLzRzyXhy+I7DM0GA0gdIeCdYJ0l1jFboq4T3QDd/CG
p9F8d0GhVmfm/u0OZQaVi6IpF1Sd/A3H7m07PxHCEUrbmUUMRGKZKzjO5xT2++hF
cwxURi8MzvJc
=q/o+
-----END PGP SIGNATURE-----