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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-8.20-1build5
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
 99ed465a22664c6255a43cf5bbe6129415a6ab2a 2932 coq-unicoq_1.6-8.20-1build5.debian.tar.xz
Checksums-Sha256:
 df81479e2292a44a0f300e38c49239d92d9a9df32f825aa0abf213f490bd5a7d 593674 coq-unicoq_1.6-8.20.orig.tar.gz
 25a015314b0be6ebeeec3a62100dc8be5179848497f6a406361b84c866f4a752 2932 coq-unicoq_1.6-8.20-1build5.debian.tar.xz
Files:
 1c2a90a1a5c2652e77472d1498520367 593674 coq-unicoq_1.6-8.20.orig.tar.gz
 998f1e86132bc6c680a26697bb60394c 2932 coq-unicoq_1.6-8.20-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlb9YcACgkQ808JdE6f
Xdkngg//WViDLmBnYDYLJ11rBI7BfID7yhZCxnkmCUYyt64ZgaffIWRSyNNEd94M
83ya4dCjcvkWrsamEWMWWLodNgabM0v+3Pj6iXRr+mnmfZFUBzQglvdfaNWyZZEv
rKA0IrUDDcfDKOWazodYYsDqYkr6BVv0+Y1y0PNiRmQr54TKd7QIRMAqDaAZ8R/m
RLNq7iqwdr/jeK3W/L65aGb1qNHmmF/uBwIKf7F+EFfTNxba6+BQLQ7U7Mkh6igh
3HebRiRw3zf+ueTwV2ag6EEdrsv8yZEZ0zVl/jqTlfUVr9oZyRSDF3VerWonuKlD
myzKwNQWzrjfjVuLxctGQBOh9FTB8jN/dR6Xibt1Td6WYG4wt37L3OvrG/xCaX3l
VgyUslPFShb9wGI/P+KBKiu1hVXrkFYp8xuVAQTrxOAK+E12rbDov7M3h+f7zO0K
yeq+qYUBestJ1jRdTmAzkGXrIzwGTGVq5iPjuHY2iDQGUE0/wEQz1T7ewfiqtVcH
VKEc1FRVsPgNxSQ78ogHKZfP3pVn0y1S0z2G5YBcZKiUMCpnkkwBOmN+BGtVeEOj
fG6nxKJRHICEyq/83y6rFv38FIV5lf0qP1VdbFbHbRKP4adsqASRmUxZIoDIgL5h
17QWzTNKxGSvpz18bN5PsTUKN8aXANutWotWbelhSY9rr7FcEdk=
=nGot
-----END PGP SIGNATURE-----