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

Format: 3.0 (quilt)
Source: flocq
Binary: libcoq-flocq
Architecture: any
Version: 4.1.0-1
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
 949dfe30d3c13e957ba70b3cd9e6f9fe16ff699e 1484 flocq_4.1.0-1.debian.tar.xz
Checksums-Sha256:
 0a73d9ad143c4022e818a6df20a4cf5a4c173e24c36585f4f2ddd24af4964fba 333149 flocq_4.1.0.orig.tar.bz2
 78df3f8397c392865b23be3343e7ecc49ad19fe6507fb1a7025950375fb6aa0f 1484 flocq_4.1.0-1.debian.tar.xz
Files:
 e7148b368a70f81feb3726f72c600b15 333149 flocq_4.1.0.orig.tar.bz2
 566bc925f6d6e8738ed6454ba3a8272d 1484 flocq_4.1.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK8RHASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRoyIP/0qBq89k6ZKoCDec/uE/2i4a+bh0MphG
WP8zazSeN3EyhIqEVeYU3mK4P9JQ3XzAo4mLb70nk81SA3m4jNdk1SCo74Qd3EmH
uCYLzC4htSHHP97sK6bZuPb98WHHUVxuRiJySVA+a56bBXHw2h3ugpQobLU5EudQ
p9PrDY/AngoEkkpdEe7xjdnvRWnzLKwmvR67jPuaxhmXim+tY/9oJ6WI8rGZF9o1
bTUtuGeOu66LOvpMPFE6XzZ6hYyL8VHppDjGaWrS8g+iwKoG8CDJUZxKlLX9idMy
ukNxu6lJm/hU7JCtpiidCAbnW0x56mbP4zCS9U2tfgbsSWOoJtPn5QpOcPcXiB0O
iLLfGcDiaG7u1mtrACyZVbHTKZ7lVAa97E88yUEuaJa5b5JFjPH+NjHb/5Aj7DSa
GhEmvdqPrbuML3TEOckE/yYFtx43BMs1VFNv6hC/xAyldbu6XLZQB4aQYHVDwfD9
YBbEtJpEsT2bTgd0JMV7Kg3tgoB3f4pKie2+eTx7bp/cUJ4x3CVLfbJ7nno+Sfvz
fXiO2IjHVrIgUB9kwaJbLbclav6qttO/bM65hsQUoixWdY1NHVFTfhGw78BM4xdI
tMRTFN2kRviwgewM3Bn/JVv0mbuAhRCf/GRg58dthuySuIoBQlXwGkWBMlc+ZI/u
AX/lapsSE4Rw
=tNM2
-----END PGP SIGNATURE-----