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

Format: 3.0 (quilt)
Source: rocqnavi
Binary: rocqnavi
Architecture: any
Version: 0.5.1-2
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
 8077e20a3287ec762a3e5d8c5341804d8d85d99b 2336 rocqnavi_0.5.1-2.debian.tar.xz
Checksums-Sha256:
 00bca5a6a8bcc7820123cc6faff76b365e48c28c908e6764a1208dbbb92d19a0 164834 rocqnavi_0.5.1.orig.tar.gz
 ae635248d16555252a9bfebaf062d9a349b5cf745e3b8ea6e39c70f2c91cf860 2336 rocqnavi_0.5.1-2.debian.tar.xz
Files:
 43cecf04db0b59d9e1c140683ffab47e 164834 rocqnavi_0.5.1.orig.tar.gz
 2636a900cf3b2db375014974f3a2dbb3 2336 rocqnavi_0.5.1-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpovHYZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUc8iEAChRCM5HRC5MkIRZzO5jYoZ
4IB3B8lCpQcK3/mf6RUuxZXLFhyFY69YhdTrSKvgN+U97mzw0mTVt7rMRgUowE/M
c6444CQ3/ZxagbX6Jp8KVag19aTDiSNfMzosx578HK1CD/W2rJKvpFIx1J1AbPV8
IUs/tBDX3Ck1V7V08wNxqJINzW9yVCFKF4hGnuy42jsQgsu6lkkZvBto2EbL/kFU
Ox30JqRG/IvNSZNWzJYyor1gYC47OsrDsJrBWXulCkaXHIoi6UMNpRftVNrAepYC
5Cl+7OKsymrgCdiotxYQmoPyis6usOmAXWlbnBukwGns/eZW7LRZ8hf4Lp7D7en+
x4peOVA/1HCYnzQ/jAl4y/C2YkQH4dFlWgQMf2VGIMswvL3fomsZLVvNDdzRPLOp
U0V0K81RqcY3D1WQo5JBr+d4/pzIbmWZMr/2r7CsU+dWdu3bx2cy6DDY+uFmp+9F
PjvUA0GorODb8ehEW6GdPMMrN77MLVtXb57O8EUu0tSwGX+igGU8ccg3+zRkTCWk
k7bnGaWbq/5X+EkqzdI8QYDfa3ugfuRhZcQcKXdLM2F/aDlL1mjouJhP1cKjKgVB
ZECQLn2fFZQGPr0oR3mPMmONsWdy43CFlUJ0+T1k4UI1LwePTVg5E6yPUddkLHbW
2iwAfwFoKGMhhS3BfN9hYQ==
=AVaM
-----END PGP SIGNATURE-----