-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-8.17-1build1
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.6.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, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-unicoq deb ocaml optional arch=any
Checksums-Sha1:
 2076aa0c30b6dfef9dd405f807c99061258b9f1f 593595 coq-unicoq_1.6-8.17.orig.tar.gz
 01d4e213bb25ea60e968aca4e2205fee3d1a8bd5 2556 coq-unicoq_1.6-8.17-1build1.debian.tar.xz
Checksums-Sha256:
 a02448a7b992a09a7b73c38142cf90cd040667bc0ca9793b42b787ae7fd8b86e 593595 coq-unicoq_1.6-8.17.orig.tar.gz
 9dc569e73b3742492f2d5eb09e72de9162de543e3d297360ac509d39dd816060 2556 coq-unicoq_1.6-8.17-1build1.debian.tar.xz
Files:
 d9e4de2da54c973a2838ad2871e47df6 593595 coq-unicoq_1.6-8.17.orig.tar.gz
 c204789011de66d45a517fb096835505 2556 coq-unicoq_1.6-8.17-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTAqyEACgkQ808JdE6f
XdkIKhAAhRwZ3vVBRYvZMS5jPRQAyZUtjHtMyGSqD3HMzAtr85LctFwfmSj+A2D4
w7oaeZ3WjSldc/72JTjfWaK+l5umTgsYBSEcv40yeIue8RO7nQk6CpGBpZfHnNRL
04jbTZt0WcIhPfrORj4fHkzrXoiN4Usy3NE0eMp6K5zRNmgjKnMv6b2/4njYGcUL
gblm4boshrHghRUI/qTqDAThgFhQWTr/saGAP5psGf+VO/+75w26RglC1wd/ZxKl
iVp9esmXGdPIDPf+rG/wmhfSnB5IUqJ67Wq+PPHIYM7H2mQEOG+0ECV4+rah1taD
EfX2P0gB5vjA0kM30FuRsVbmpw59atDP3QLPploOyJpOgoyM/kZyNCgczIbZJ63/
BZ60dyxSSjtRfPc8kmI8SvmEzs8gL+XUXrAPhsowP6hv6d8bUnDD/meJxkc0gKaK
Eac0QnR2buHP3mlD5DkSvz2EM1ATEnE0LE25/imXSr6xGNz3mFUnJMpwqywlBCC3
AeiTkiN59eFsKLCqiXIf9jtHU9Z8f4/tMPP/dsYCM5/euXLyeoq8Vm9GvqLgG5y6
tece/utdyhXt7W//aPolqbB+qiaSDvBZQUKjbkHDwmg4xoDP7UEuCoiIWpObZ7wt
F2Y3K1NuHOcQdHySo+u5Pc4G+3BNozdJkHSoAMJJcEBc202r+qQ=
=XZkW
-----END PGP SIGNATURE-----