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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-8.20-1build3
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
 648f494e6038dd9b69f8c427cef7b40a9ced030b 2884 coq-unicoq_1.6-8.20-1build3.debian.tar.xz
Checksums-Sha256:
 df81479e2292a44a0f300e38c49239d92d9a9df32f825aa0abf213f490bd5a7d 593674 coq-unicoq_1.6-8.20.orig.tar.gz
 55d0fed1885f45cc43ce1f2331c9c41b3f4c79ac8f5c47e7f541d9976b664241 2884 coq-unicoq_1.6-8.20-1build3.debian.tar.xz
Files:
 1c2a90a1a5c2652e77472d1498520367 593674 coq-unicoq_1.6-8.20.orig.tar.gz
 9be6de85ac4a4bce81b96eab3b42b685 2884 coq-unicoq_1.6-8.20-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAme058kACgkQLIPbyOm9
DjfO8A/8DGWy4doO41cY1a1Ws27aTfZKL+OEeeP2Uuv3Ape7DSCioiG4s1R0BEZJ
UgLID9A8+pQAfmJFW2WyVyofzJAOiJAoi2XAFC41wNmc/PRPRLuWzpN3WxLof4TM
JendgqLWQgetL+BR1dWzI+px4UWo46mHU1b8wN3gsC7LdBFF9EuhgmFe2shbWhkE
TEQ7WEx6RxUPCR9gZ1/eRirZtvUSMEE4fv6OdlJI7611S9+EmXkl9kXtu4VQKzHl
dCJfaL2zmuEFiPWY8cmVImd4sSO1CP+HwEOC9m4HzO90UEBk9yCUFToT1sLVmjbr
WNQ/x7UaXnBc8/QB30T/dBziBiMG6+EApPtZ1gLA63JanVr7xlCTsyA6Ptk4IQuY
Av+vbjkVGOkql7EojHD0eOW47qwh11ac4hEha5+gk5miW/uZMVa2EtudyCY0Nl0I
q3rVaC+xG5crLp5yTMC8+ZUJ7xs7otFCE09kA9EPLUj31+xGr/NhLRDjuDWgYEpc
RKUFRMvianXLxQJjCW8icKCFMgkBCQnnB5s/n4adI2gIO4n7jNFE4KH6vsH5/Hp3
FIW4O9UJxtWe7gJziLBNEJeQ/TY+kuKtlayzERJe68YZRoWmEWC78IrLn5ssLZF1
m8auKm1hnZFOAxgwqcQYJfChbqgKCEXXogYa0HfKdh9VGpzNC0I=
=Gitg
-----END PGP SIGNATURE-----