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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-8.20-1build6
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
 fa3100b19dda1227da9617ad8c9e6ac47e0c4d48 2944 coq-unicoq_1.6-8.20-1build6.debian.tar.xz
Checksums-Sha256:
 df81479e2292a44a0f300e38c49239d92d9a9df32f825aa0abf213f490bd5a7d 593674 coq-unicoq_1.6-8.20.orig.tar.gz
 3264002106361aeaff450bf778424e427a95c347ad80f8dd005b1ec9dbcd70e9 2944 coq-unicoq_1.6-8.20-1build6.debian.tar.xz
Files:
 1c2a90a1a5c2652e77472d1498520367 593674 coq-unicoq_1.6-8.20.orig.tar.gz
 12ed62bde297f7070967a9559b3034df 2944 coq-unicoq_1.6-8.20-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml7s9wACgkQ808JdE6f
XdkCkBAA1c/B0vvO6oCrCdwdMyYlrilsMKMjtzgeoQooDruLFufS1AEPe6QekpZ8
dM9xp7QJZXN5US8samMDrNwA70Adwych+LErKcdthzrHNjgQM45ciHJjcMlajloL
uprxWsAJhrQpTYc6ABoy1JOX1naw9ItNQoWcCRCPsFgLIZ/t9oZtCKUziilqtItk
ANMBMn1oeQi5VDHtVUbhXTQosKcdKx7fE2N3WUL3JsWqHIwaGjSKqNRIrfPUF9AW
l1gEZIwe2WwZ24k9AbS9f/DgcJ4C4NWzQCalka+YYC/RyADhXPrJO2m5I79GF7pf
54twp7+S/JjqM/ADKORKNGMgqjGPlBhpRp7GuWyQVErvvRbMyhpCzcUsgjKsJ0QC
e9D34n2P2bxI1f/7kEiDpyJNRt9936bQfUkHVszrSBudtMQp4HS9t1pKKRCo8wsm
cpaqk4Gc33oaE+3hkHG8W3XNTc7xy0lbbDixKi5R33PIrMMW0chwV9fEQ7ksQ0Ss
9PiSy+L+zCz/bSb2NOOhzJAPjQfAtmJI3x3ifPDp7ErNwF1SyN/Il3ZHho4HeOlL
gBWOfwvqco+vMxRPhzuT+vleZta8HfkdkM5G8GLXPQLYa6t/UX6MxCfachnqNZhJ
J2nANU41ohxk+BDmF27OseBlT6PFkSCkp47HBFm6YDVB3iQntzQ=
=86np
-----END PGP SIGNATURE-----