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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.1.0-2build3
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
 3c0c5c340f258da7b5f6a2be60f896cddf4b7bc4 1604 flocq_4.1.0-2build3.debian.tar.xz
Checksums-Sha256:
 0a73d9ad143c4022e818a6df20a4cf5a4c173e24c36585f4f2ddd24af4964fba 333149 flocq_4.1.0.orig.tar.bz2
 a9839de52088f5c67660efc2278dfbc1feec63679ce474b7a8f4cdbed41e50aa 1604 flocq_4.1.0-2build3.debian.tar.xz
Files:
 e7148b368a70f81feb3726f72c600b15 333149 flocq_4.1.0.orig.tar.bz2
 3129d3bbaa0cdf5c2f9e8a6c582c1a3b 1604 flocq_4.1.0-2build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLGvUACgkQ808JdE6f
XdlxlhAAzfdrrYIU0pbwAY4IPaObjOcsYhI4gpLdParTUR4KkQbr716BAwLaVfI1
qfxbUnokqO7jSlhRsMkv6nat9XUrMob3Yy3AsiwLiaJwCfO0Gv/3BkfgK/ESHRi6
eIuLI38JonfplGgoA+qkUJPTDgXdxhQ15KDIoSBKwvxpiDtxdG/F8bsV58M4+uvN
JVS8hYbsNfNpl9g/oOYaCSU2vFyuK3xb+pydxOAjciNe+uk8KjNsKpMNyTqB3rC0
vCtXr83BPi0hk8OHCUdG9tS3VjM87L51aqr4BVgnO4vueAzqbqVv78HBrWDQbKzb
3Puw0zqyzivb5IfAHmpdTmzHM0bJ2cIgO5tZlaCJ+BejjtU5LQYyzdyoGn3A0OEm
U9UlIBDBJq3yw6V9aZwZWzAwe/KKfN6I56++AhaQnujWY3Zq8XIntIEP40VBfDys
+qkgEPWaxlLprkrMvoKqycE883B6c6jZahlD02VLQlD8gz0MUsA05g6hEbgeDGkT
/IMtwzEB2HN2QpF32KgmlIG73N4Iu+WuoZIVdUMiqAk+3Gy5E0K58ma3/Gotl8Sc
iIbb61McCd92odrR6lWEiQtFHAgJ7/OwB3vqpY16KZbC6Fr8tPH5kqdld9Z7kIt1
kD/iP0omK51iiMh+6etVdMkzB+NVigShjzZ+TSDfIx79QkDaCXk=
=ACNi
-----END PGP SIGNATURE-----