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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-9.1-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/unicoq/unicoq/
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-unicoq
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-unicoq.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-unicoq deb ocaml optional arch=any
Checksums-Sha1:
 fd5e166b3cdb9024375e67b1edc0ef0a9d2d4c5b 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 5ec76e039e2b5bab3d4496101e99bdf8236fa20b 2864 coq-unicoq_1.6-9.1-2.debian.tar.xz
Checksums-Sha256:
 d25f20e0d2b04dd6838f67b867fdd3fa94c165e73b9a4682158b2b3ab4dda3d7 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 eea3ccc9a7a60c33c78f0f55847cb36d0e7678e33d4100e79d0744f3a120a46e 2864 coq-unicoq_1.6-9.1-2.debian.tar.xz
Files:
 7b63eace5f3d2a38779195f8bd389599 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 4369f233678e78a34a623b3d725db001 2864 coq-unicoq_1.6-9.1-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpodmcZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUKwD/9I5aycbWykw0912eWMy74t
NOGj+29YxnvAJ960h2/tZKWppySgijMZBEl3/tRXSWLam/EDnJny1yZDJYGoE5wt
JN7n65ACoIrenNbSAw+/Yavs8hL+E8aHVf6WJebvGdY/ksYkFkeNunkJ6RV5pzHK
D77bY9Bybzr9FDHrWRQLtSK9c2JUqZjaU6D6FnKt1bxGqPC46WlUQuVAd4LfmnNO
TRqwGFbsK4TkCGSb3tjUQd8y2pncSIuuW4c3GofH7dJMqycb2UmSNG0v7bqFWQi7
1Mj0OK9nEXhkKhiQga/sAzF+pB2Q0zF9JfhPR8pXXeYM7+ZvTw6oRhq9ShHS9+0K
/IZjp8+mtwzqq+V6ib2Goiyl4bU5RxUPt8DkkT1xnKjfNdCOpbB/Aov58WwYxVY+
5aqnufjLYRCUKaVlym/Ibe+FUWdDBRWnJ1GAUozBuYDgzvGioaevdfS31C7KGYjh
YWe9Rbsu+UuWVwkyQsFptbEq5ebCCu1SSpLzqOptjbSg4maKTU2ta2HBNfALR0P6
0KPOu7XZ0gnCP5EEtJ632l0rPWn4U2jgbhxCMHw1Plw/LtuOiOoySleBMFmEgwY6
NLDQN7xBU+EQ6vkVx/usMEtm82oezgPNeFqN2fm8Hk9wCuawT02p4BK8h27Ufo4i
Hcp19xHB1u7UZ8T3tc24Ww==
=Z7tM
-----END PGP SIGNATURE-----