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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.1.0-2build2
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
 885732cbda41f1daa32135c9fa8fa088c8662c6d 1592 flocq_4.1.0-2build2.debian.tar.xz
Checksums-Sha256:
 0a73d9ad143c4022e818a6df20a4cf5a4c173e24c36585f4f2ddd24af4964fba 333149 flocq_4.1.0.orig.tar.bz2
 8d3f0c8951f81f6ab0327248d44787fd91ca67de1deabe9e72e470defe36fc45 1592 flocq_4.1.0-2build2.debian.tar.xz
Files:
 e7148b368a70f81feb3726f72c600b15 333149 flocq_4.1.0.orig.tar.bz2
 06f7920c5b61d36372052653da4bb53f 1592 flocq_4.1.0-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOBBaIACgkQ808JdE6f
XdltGhAAr5Dgl590OW08dp/gU5cDGHjtLQVZ8/bHMBeVMjR5SuNlxN9QoBcA3M+c
KWvM30H+dZZPt9lHDBECRL9n2I5SELj39J2sOkT0A+E6TDO9XFWJpcEoP2mmi2u3
8ad8Wxq3XKF4Op8hMCpm8q7sVn1oFd/nxNRzIK3ey14dQ1CK1r5clGO3dn7obZW+
j+x95rvd4JGwRbkvIz5MPoWPUeKDh+bjTXBe1y6cVvuib9wzVjUq9LCdZZQBDkT0
9MlCNVH3ggbuizuyAPSz97d6MEfEMN4vGK226eadKem7w552wWIUg+ZZ6k9HLkb/
urkPu0R1xclgPCW7VmD9qGHN8RONkaob2A/Dv6hGAOlIAH3BpsALLmkIXtnFVG6E
xCV1VW1y3u74OBlrdC87TEd/iIgIrVVtP5PfSkc1M/awkBkl7T0bo71rNd2B19jf
fSFYVq6qtCIKS5FojeaZYn4TKcm7z+JnxMEu2ccTiJHGnm3ObEae/ImjaEvMlYHE
nIyxExd6aywfGbsqYljh2UwATvDYcz3vcXCVI8NAyAFBw9Wg5cLJMLKRfjK/CrQt
d+AJzpgj1eUGJFEqdSHZp3au6UAeFDiQM9Lpu5o+/xst2Mo2Sy6ctVUrIWvbBpPT
JUcbgdNe69GzzG0gIwjTOY91/Hfb7GgPRCKLL/z1BYia+XTfzaY=
=4poj
-----END PGP SIGNATURE-----