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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-9.1-4build1
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 unknown arch=any
Checksums-Sha1:
 fd5e166b3cdb9024375e67b1edc0ef0a9d2d4c5b 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 90161a616c7527f2853925fb9f4365f81328c433 3540 coq-unicoq_1.6-9.1-4build1.debian.tar.xz
Checksums-Sha256:
 d25f20e0d2b04dd6838f67b867fdd3fa94c165e73b9a4682158b2b3ab4dda3d7 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 da34496efe316d8361e221a977e7bed1807d85a8fbfe1cdecc90f4907476784c 3540 coq-unicoq_1.6-9.1-4build1.debian.tar.xz
Files:
 7b63eace5f3d2a38779195f8bd389599 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 e26f024af4e92e501aca4fd7f28dd23b 3540 coq-unicoq_1.6-9.1-4build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqiU5AACgkQ808JdE6f
Xdn+qw//TznZGSNsh94FQ0Lk2yNohAcwnSJEdsJi5/tTyqLaZhf+mAF81dLpAjOH
2VbjBoJJVQsnlHwOKrpw9qG6GNNeqj5aPEs2mEO02lsLMgWKkN7iURXlo0Ia4K4f
4RGmn/Fzt8SwPlMBjuxs0N7mIMk9md2RxmkWZGtQRNaTEhvpoFAGl2/Lk+OEejqT
ijOJInt+6tuOmZi1vCBwVP7vlMvfpWEJ+lXs7tanjPTWI8Red5BDeyL9wnlctOh5
F8LyFMOBpHqM8nNp9dbSuNwpU/Nf2GCA84gJl5R7nPMlmPNKOwJrUjzOV7BJLGaJ
oyJ+U7Zq1zXlGwtv9k3E1anoouW6+FcSaO+pnt3A/g1DgYAGhGrJirCtpji/uzwd
HEYH9khl14CY6FZYK2N4KoA0Pd9OeNCW1YEjdcdRItxfv3FbbX1osQ7NBLxkqkW4
WrBZ/g/C5EAxE38fa21GJf/C6R2y8MCNHHHECKIc191EJQ54rVjelw3ala2iN0f7
iC+kIqjbOm8rPPDF8QkNPbpxRUSgnEAL3Nmomj5p6t4VmtDLCfSvQzYlja6tzg2Z
LAM88modKTyyPlA5ABdC/OswyEhSecdLwEfQ1zEpOHYJXeO0iHi31DCPRwtHMS3a
0bFkai8j5MXVQehBzTYVWlOod0s8QM54/GCYk0bt9vEgJEoCPZc=
=WsPU
-----END PGP SIGNATURE-----