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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.2.2-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.7.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-flocq deb ocaml optional arch=any
Checksums-Sha1:
 29daf40b22588bc33b9b4929f6075e35852fd6a8 329748 flocq_4.2.2.orig.tar.bz2
 7be91ab9fb262a7013a88bb03edc8fa364cb8ae9 2024 flocq_4.2.2-2.debian.tar.xz
Checksums-Sha256:
 176914d121c09ee07679afd302fc42675592c4c3db2c1e3a71ad69b03c2b0a89 329748 flocq_4.2.2.orig.tar.bz2
 f32334aec8d620bc5cfe484ef61e359b80e707dec98c8f0e018d465166389775 2024 flocq_4.2.2-2.debian.tar.xz
Files:
 4db33be7df4d7307ce4e011e74cf8c94 329748 flocq_4.2.2.orig.tar.bz2
 0737d6154e3eb2927e3103962690690b 2024 flocq_4.2.2-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpoeWwZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUSuBEACjMI2aVICIbwp3aEKQI9Si
WlsMDQ6xBeItEwEakQns4cp1gnEbrM+SY9e7Xigoka59cnlbxdqdyv7OLkRwmYhm
veQd7zgXNwiEG/VBMqdQDVo3vmzEKSrqaU1g/451a7zRrXpduICBKiXBrWJkLB14
x1Tw1CYLecctGQyNeNi0jk7Dc8PnNQq8a0kwdQDl7III80QdGT8Gr5EG/AQe1qE8
4eGn9eRFnJ3wVw2MHEgwpgeUuyGDjyDezOe1yvABfXDsKV2iajCPxc3LqcW+qlmk
KTYFPbQYzGGler2p2UL302FNyIQzkrEGP6UvsWBMup0YUlobZDSF6pLFJxXEkXLz
5NxQXzf6FzgK/eEI3YjU1BQNKOAjuyi0cI4Lak2DzismbfWauiJ2RCMnRHpe4Wkz
20j6tpUnK9aZ4cMoLHnwmLsrGkVJJZlqIKZMXI3gYe+47wJMXw5z2lW0CPClATcf
ZB1V6m48/JB+G4OfIDeb7nf2jjRSmZaOJ0hFVf62IdIFcWYm0a+wjanGzncNeATD
pN0itf/vs+oAZujJ4U4J7PAcBipC8YTercbmgFjyNJhkA1/mrD5U5XO8C8/HhaKs
JjidDSA903O4hCFP6T6l7v/QmkwprjknDXlJGeaX2ci0Bl7HT2mlftYG3QFbTNyi
L97804VoS+VVf4DOdUavmA==
=7C6c
-----END PGP SIGNATURE-----