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

Format: 3.0 (quilt)
Source: rocqnavi
Binary: rocqnavi
Architecture: any
Version: 0.5.1-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/affeldt-aist/rocqnavi
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/rocqnavi
Vcs-Git: https://salsa.debian.org/ocaml-team/rocqnavi.git
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libdune-ocaml-dev (>= 3.23.1-3), libyojson-ocaml-dev, ocaml-dune, ocaml-findlib
Package-List:
 rocqnavi deb ocaml optional arch=any
Checksums-Sha1:
 aaced2512b0d2ee01a24f4b60d2ffb24067fd974 164834 rocqnavi_0.5.1.orig.tar.gz
 bf2a5ff9b4e3158235b89043ae9fb7af7807acad 2300 rocqnavi_0.5.1-1.debian.tar.xz
Checksums-Sha256:
 00bca5a6a8bcc7820123cc6faff76b365e48c28c908e6764a1208dbbb92d19a0 164834 rocqnavi_0.5.1.orig.tar.gz
 2beb998ad7527bc0690fb2e4fc12263efa11b374ecf4db76efd468206074ecd7 2300 rocqnavi_0.5.1-1.debian.tar.xz
Files:
 43cecf04db0b59d9e1c140683ffab47e 164834 rocqnavi_0.5.1.orig.tar.gz
 94a62b085a848bb4784d3cbdfac6f5a0 2300 rocqnavi_0.5.1-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpcwbAZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUcwFD/91LiLet9hje9STlMJHn5eA
k9D2Aj757b7t/aquP2OP8Jho6cSYOKEGdHiF7IHzT8S5iy88h4GuNIKjRc8uKNyt
Toq31D0jTuuLqaT+6EoDLQAraMtrq32GcvqTMapmieKORvq0QInHpsIChBH8Bi5k
FfroJn+zX4G0j2RTIwZMiCixdLKEEExeMpPm4Aw/uXye3s8cEcoBlDui9F8c/+io
KwnlCuxyOvCaiDUGjijTP/qN9PLwA6VvUNoYoikMMv2bf/Kw51/aDxTWZmaQRu1A
4Ci9Ve9/11hd88OlvyCNf6sXhCeBt4LX0z7M2din6PGym3VhwLyT9tRIFVKhAXWe
Qb2SgnQFfLL48x1Tbw3RfFjHqPdkE1+I3pd0MMpskvSgqTenmUH7scdqjCUP86Fm
KH5c0kmKog1LidZ3XSr9p5IvXXLNiAJ44CvhWwROHYQ3FlPToiBExkEVo9OrBqGg
mpPDzGy+lN2xJ2sZS3uHXAXEFLjGB2VK7h+thH5+eKj0xy65HCGz/eltKHMJBwYw
4xqhi+IKcZUXZn64EnsE5lgp0dPOkbS2zY8NMsdyLdPcWOOVz/VslgGDfBjAAWIs
O6xgK8HtCoPqODVZKPwXbHTfmZlo13AWANYynTB4kgsiTzCQ2zHEoYN17lrfECzP
EPIYYlo3iOs5C7xRrFwLSw==
=3wMJ
-----END PGP SIGNATURE-----