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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-9.1-2build1
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.4
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:
 fd5e166b3cdb9024375e67b1edc0ef0a9d2d4c5b 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 617d34da9c10f408f57f691083e68da48099ad03 2944 coq-unicoq_1.6-9.1-2build1.debian.tar.xz
Checksums-Sha256:
 d25f20e0d2b04dd6838f67b867fdd3fa94c165e73b9a4682158b2b3ab4dda3d7 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 77755f48a0c074d31a94ddf8fe2b477e536be9a7a80bb3aeae5586e578600bb5 2944 coq-unicoq_1.6-9.1-2build1.debian.tar.xz
Files:
 7b63eace5f3d2a38779195f8bd389599 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 70afe8520c0b58d614fe4a88a7ecfdc3 2944 coq-unicoq_1.6-9.1-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqPDMMACgkQ808JdE6f
Xdnt9Q//cwTYqO+Ko6iae0mH4/Me91wL1wBLYCBVBPfdIl5Gyrb9leZuJZQ2J1S/
Qc9rrVvTg5TXXTDgnt8K4e1w33r1skmQhAbxhTBFCD83dAYIUe2bcggi7TnLyeVh
o+9jAnhblEMFOnvN6ufcL0xAhcaH9VX3enjHSf2apEpo+OdxVBAjliKQ91NO5yVe
/QwO+FwcZwmaRHTxJMdcq1UbWuRfUsLcCtH1As1VploBqDy4zdixV/cUQgSI22WJ
mKXHTT/k1rXAbl9fsTKa0lWj9KqwXbM7+7xfR+eKKVAbME1YifoXxLElvmU0weGx
spCV270Brp3UWZxtHVH71tFDU9KbM0PvIgcqnTr8TZaITFh2ot4zPVES3Km98QXI
qbMuXjx8Q3GTMTVRtMil7Bnwwy7eouFRKRwzJ/l2yDPXgiaE6Z5/VLKTHNvizJlu
l6QHgn3yeVhVuXUQBT4863+hXTP5bLgdDsA8PhNnUvcuBH5ruwkva8YjoVwgefbp
c8XEkruLpj/Fi3E9cGrUXfqQjwbvBB5ZeO5ZutGq485r/xtFeeDuHI5Yd2wiQx0q
eY1U5Z6PiOzqai6f7B/9+5VkeZ9JP5eL6zu2CVXaEXieHTCU0/jUl1DBVkPcQ6cb
NmwDlqCjmNQChu8xGQRsXbtfnUstcZQzDGgnbgA4v2X3UOh72Sc=
=3o9R
-----END PGP SIGNATURE-----