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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-9.1-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.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
 2b30a627882bc039be5977a9f6a00cb538704917 2836 coq-unicoq_1.6-9.1-1.debian.tar.xz
Checksums-Sha256:
 d25f20e0d2b04dd6838f67b867fdd3fa94c165e73b9a4682158b2b3ab4dda3d7 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 55b004f1da30cf75190adaa33339338658ace1e739d8d033282d846d92e84581 2836 coq-unicoq_1.6-9.1-1.debian.tar.xz
Files:
 7b63eace5f3d2a38779195f8bd389599 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 36694c4f758b7f88c63bcb5020be0ea1 2836 coq-unicoq_1.6-9.1-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpRDXUZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdpXD/0TgJ1ks1leWcvHnYvCv0W6
1JyVhfvOgfctrYiMirwCAj+bk1w3x8UyhmybmevG9FyncN6uWgmuh+SzFj30ErcG
r48L+JUvdqNszaeET/3fdHzdtMozbxDPpRzihP58SQxEgsxIb1pvyq0vC8uy+SvE
wG5v8QnQ6jvBpdud/+v1joHa2LW+FVBjBIJepdnG/KlBFkC4JIeo/PuRGgTwhvon
I11OH3csNI9+sJ1Yga6mQK6/hRn4lEWUr6JBsjlfw4NMgASNZHC+nMGcccffvgJM
tzCR0QItHkNXmXUKpBURXZ/smAg7qLGc9AxsusPOlyDy5sqsdVZE+eKPVccnOcbh
Spz2hTVXayTkCKPF0tpVpPISjUEnrwv7IN0iUH7BYJ9OG9ApguLiDutmvY3op1YJ
yUu7nDSWrimK4KoxNSOv5WEW35aI0lpJiB1Wn34KqbSb97HVZkjWoCs8knBKfld1
g8oNeTa0JHIrzg1NERZYG85c8mnsh87Fn36LPM0CJ6Xz9JBwOC9aKwvA017tb6BO
PmlntIEIUR76AhHF3QX98iPnxoJ5mPRKMBxgmZptBcyM6QEp5C99MwXUCdVCe39j
3wt6n2AjFgo1OKlu6hKgQd7+ZIPdMAzdXpAGSK187Szm77VeWo7Eb0KZGz9UquQn
XUKBJuUs9oFCbGkItpHCpw==
=JppL
-----END PGP SIGNATURE-----