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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-8.20-1build1
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.0
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 (>= 8.18), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-unicoq deb ocaml optional arch=any
Checksums-Sha1:
 053e09086d85d7561790794982e17e4aa411c4b7 593674 coq-unicoq_1.6-8.20.orig.tar.gz
 3d98fb165ad03333e8ebee578368d397bf1389c3 2788 coq-unicoq_1.6-8.20-1build1.debian.tar.xz
Checksums-Sha256:
 df81479e2292a44a0f300e38c49239d92d9a9df32f825aa0abf213f490bd5a7d 593674 coq-unicoq_1.6-8.20.orig.tar.gz
 b5e07130b04ab2163b6ece0f31c0241196bba64e78c88cc0dd20f0042521e48e 2788 coq-unicoq_1.6-8.20-1build1.debian.tar.xz
Files:
 1c2a90a1a5c2652e77472d1498520367 593674 coq-unicoq_1.6-8.20.orig.tar.gz
 31ef85655fbfc8c04a56af3a98c93832 2788 coq-unicoq_1.6-8.20-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmeex7oACgkQ5mx3Wuv+
bH1UiRAAkvmxkx3vgRpV+UkpSBZnxIYSybb+ZZBnuxqJCx9OMMyGVPUTHcyG5ePM
xorfo6TK4JDdwEGWjwpcIlRJJ/6I4W+kJJu/Ul3q6XRa5K0hfgntOffgAgG4KcWM
0gOqtYiexdtl2KALI/f9aOs2Gk2J4jMuP3+JaB8YypJApfCIZhreI2tZ8GUUu/Ej
EdSyuMPDxAQb65hThbjHnBuMYabiVVKkbdTXjHz9UOUfrEKirac4UqYCRBKxmUwh
o20SP7g73WVGh2+UngAmVWiC5E1zyCNAuO2ThFcaMZpMtKMDySXnXTQw+c3b44h0
oQWZwe0zLfujWEwaVz71BqZ+xF5SKkIT6orEtGJ1Y8Ml+WXf2XLKRhY2NN1jSvwp
ZzPkuIF0Q1qwuofoiprgX3GCyhErwYE3kFcRIuvkrn/hHBqi7fAVvGbCZnyO4qNC
hIRNEGmDiR7Q5AtW9eJDBsQ+mJNYUlTB/5Tm/MQXXVx1XpWAZEan/n1fvxrPi5Ka
XAvWaFH8PDo5UBSmtKz3Y9NVSaEs5kQyPVG12v+YN0yaooyFqCXudca90Mgln6aS
yj0XtuI67yDgpgeI3T/pIE+73EUrjv/3Ub+2H32hyVf1IuIAoTRMHVkG81ZE2qxD
SGR/ac3LS3okijQYdhVc4L3vXG+m7otCgwva+treMDkVwYwMGNU=
=tDD5
-----END PGP SIGNATURE-----