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

Format: 3.0 (quilt)
Source: coq-unicoq
Binary: libcoq-unicoq
Architecture: any
Version: 1.6-9.1-4
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
 57c0bdaeda102f2f279ac3c16e32b48e51757c4d 3468 coq-unicoq_1.6-9.1-4.debian.tar.xz
Checksums-Sha256:
 d25f20e0d2b04dd6838f67b867fdd3fa94c165e73b9a4682158b2b3ab4dda3d7 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 5868957ac8efd4001f6147236acc9c74942ea9cbacec97c934b1e1f89a233e7d 3468 coq-unicoq_1.6-9.1-4.debian.tar.xz
Files:
 7b63eace5f3d2a38779195f8bd389599 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 3adc8f503b679bb827b6ef993c56aa1d 3468 coq-unicoq_1.6-9.1-4.debian.tar.xz
Dgit: 7c6a5e1a405c4bb07c305b25a5211256ad8168ba debian archive/debian/1.6-9.1-4 https://git.dgit.debian.org/coq-unicoq
Git-Tag-Info: tag=fc51baf72fd2fdd544d50bda038f9405318853bf fp=6de24e97eca886cc56e6250e21b8eef1b1893081
Git-Tag-Tagger: Stéphane Glondu <glondu@debian.org>

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

iQIzBAEBCgAdFiEEN02M5NuW6cvUwJcqYG0ITkaDwHkFAmqOe4UACgkQYG0ITkaD
wHmfKhAAiEwmh75fnUhYJ75d4CKb3aVRCUQMDFG6YtAtz0MAozusb+2knMf6ZzcH
17B4PfQDX290djaEYaPmyC+iWwNL6932vqYlXL0/ZngWW+kKcVgsaKe9jzC1ZQ3T
VcMAsF0RDQLE3McTt9fJvmBKQlCelB1f5ihU+DxEr2WKiq2VewRcvc32ZXsiRwf/
u0T65SfJuwwtobRny6rJgt5xTezgO8UVfE8vjCcchkPJXMJTOJsWLHkfwQi0dZmn
aT+L7tnbMyVnTcWBq4hHKwuZVpw8MTOyAhKQmvxUXALm/9TY+U3WmRq9AHOH+18c
Q2ZNMzsl8/AzeeZNC1Zodskhqs8HCtStIIXlG4z5UdQzKMsgL/SEEiEp0VC5s6mX
qEuQnIOEInztoTcs50YgQeBMBEBgHwsBiepwvFJ0zrC93PkgCCoL2Gn6gtU/85QX
WYYUE68lMV0ZeqrbgCfLL8BFbLuhfNfub3r/q1oUarcwVVdj06nJSTxRA7flYZE8
ZwiVP/+IP/wVI2oYO5aN8gGtT8EehWt1x/i8I2+OsIN+IEKcMAu7t6eokYKHY07L
Cr2d6mkq3nT7XSwbcX/J7ACetveQOgl4QbNoLBeRr+9FG2Ju8XyBSaV6ExpI6Gdc
7sSKqAoBKHKJlJ8emJYmxRER7zVCOCp3M0zHw0AFsxTZZsSQSac=
=Kvjt
-----END PGP SIGNATURE-----