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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-8.20-3
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.2
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:
 053e09086d85d7561790794982e17e4aa411c4b7 593674 coq-unicoq_1.6-8.20.orig.tar.gz
 8d775370bc5b56bf9f86f327b0d1b97a6d3e4055 4040 coq-unicoq_1.6-8.20-3.debian.tar.xz
Checksums-Sha256:
 df81479e2292a44a0f300e38c49239d92d9a9df32f825aa0abf213f490bd5a7d 593674 coq-unicoq_1.6-8.20.orig.tar.gz
 676501a93a580311108cd829e3577393bf3a0762a0d10964eb99e4c1eb45b1d4 4040 coq-unicoq_1.6-8.20-3.debian.tar.xz
Files:
 1c2a90a1a5c2652e77472d1498520367 593674 coq-unicoq_1.6-8.20.orig.tar.gz
 40d5d7ecff300285ae598c8a216a8caf 4040 coq-unicoq_1.6-8.20-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTdLQZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUXrcD/9VYJjKvaVRf3sdX9MmXf+V
9a5AUQYkX8MIRDrwGCh//wxdgQYXVEk27+FF4mLmiKXsVxFB/cqLb4dNlITK3FfL
wkQlkkX7CjG9Lheq/fICsJ50+Ko0DyCVphc7XtfV4LjmXM5qPrQE9pT4LrGsfTUR
4O6eBmBNaIQy+jnUnoSQeIpIdyZ76UesB2M5rnmpu9Wx+CuO/300JSzhwVw2f79Y
XfjciOvqQ8y3bXv5ICTTTz2FMt1KCMVLYhVTXNzG8eliResNT8B25adEhISkri/o
5O44bUUfD7MG/hXFqiaEM/HSjttCznmPRMtk1fO0OWWMrJQuCobxy+3czFZq/Fp8
bZWoxOSWxWy1ylssK0zRmehUjzrXEyzrYOrTSKDDLx4NRaJo/CtywCQEKFMoU/7g
ulI+nUFvulQ4zWfWt79fYExX75VKUXH9EaSO2ri/mpkemGFypJ9ydiyBEuBolSGQ
2HFlypg7HvMFqeMwgScaii5Fk2DC/uiXYIVX6vXvlH0mTppjgPXqme2277LD5r4F
x/Li9+uz4B1cu/fO2hdqkJNtIZTMqJj4hILKPMA6fT+fUPJyL5wX1nyN3Ur5V/EP
wk2qMIzsRs+YR0WZFJTBd6W0/vboTUM7irnPCLkSMvtWSM7HAo1KjQ8TBuGi10H6
wyK3iBA8AH5vw+voQiqpKw==
=Atdv
-----END PGP SIGNATURE-----