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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-8.16-1
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.6.1
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, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-unicoq deb ocaml optional arch=any
Checksums-Sha1:
 3434e1899bb99fa3b720c56484a8d0af4fc380bb 593541 coq-unicoq_1.6-8.16.orig.tar.gz
 e9dee016d4ce5e7a3d28051b6e79804f324cb15a 2312 coq-unicoq_1.6-8.16-1.debian.tar.xz
Checksums-Sha256:
 e704c5e15355e5050fb708b2252e53e30371d6e9d9b34f4bf0ef948efed9ecf5 593541 coq-unicoq_1.6-8.16.orig.tar.gz
 d6adee9573bff2b30b38e829006fcc6b3a554ec8919b651832cfbe04d7daa0a2 2312 coq-unicoq_1.6-8.16-1.debian.tar.xz
Files:
 041e01221bba8ef6f2c45ec1b8a1ca98 593541 coq-unicoq_1.6-8.16.orig.tar.gz
 7ef021f329446b70e45da0ee2cad3d74 2312 coq-unicoq_1.6-8.16-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWI/ISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRp0wQAIVOiEqqZFxtCNymi8gzD8shc3mCCwZY
syjGhXPUFS4iuDp7NmdDJEG1GFg5pc90duvD6JaQd9BJ8y8yxyRbKxPC2JP+ZIFi
qpwt2oC5sPUUlMnP7LB5bpnETqwrpjRazQej524ftIxgLrnB2cwoc96y+GeiHV8M
ej1LtkabBIQt2KYewzRLeLB+fRz9EaNGYc1xPP6v+KCTJ/wnxI7wUkDOySx7V+mI
KpWjpgsxKURSGMTz/20ODf8L+673hU4E5At8yYsos/ubvUS0pcyg/ZaYFORGNT7s
F0ToHOmPOAG5DHA2o5lQ0spcBI83poMVWv7vKW/xoLPF4vIqWbzltt/+pKqs90l6
9pzs89qb26Qx6lF3KXwA9CRtYi238yw3O4LImAgYZCccLKFaL+GNJKPLXyNnYMVV
3h2GoPvfNDbwZiyfDdbODAMG4NkpKKgtW74wBlO4Okjic03KmQyrcebBhPbzNzh7
zYvyGzuSQoTSoL2nLClQN9KFBasuiBYyy7ekwZlNatgouuquivVHmJiqdcYB63aX
2d6DZO+vu5MijLzt+SnD5DSiER/F+8djZrkwsp7SXhp5uSTCO9ENgEzIif4QhDfX
xx4HDT/RvjntW8mzb/N6HMbkT+AUglfchHhAndfhsfBAlFpcKXEk47MP33z5yKO4
Y9p1xvevVxwQ
=SAPd
-----END PGP SIGNATURE-----