-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: coq-unicoq Binary: libcoq-unicoq Architecture: any Version: 1.6-8.16-2build2 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/unicoq/unicoq/ Standards-Version: 4.6.1 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: 3434e1899bb99fa3b720c56484a8d0af4fc380bb 593541 coq-unicoq_1.6-8.16.orig.tar.gz 19fd3f04cdb809032455df24034fd2630f22e491 2440 coq-unicoq_1.6-8.16-2build2.debian.tar.xz Checksums-Sha256: e704c5e15355e5050fb708b2252e53e30371d6e9d9b34f4bf0ef948efed9ecf5 593541 coq-unicoq_1.6-8.16.orig.tar.gz fe2d0849044bc8d23420abb1a01dfeeb1440f73b4dea02f6b509c328ea5f77bb 2440 coq-unicoq_1.6-8.16-2build2.debian.tar.xz Files: 041e01221bba8ef6f2c45ec1b8a1ca98 593541 coq-unicoq_1.6-8.16.orig.tar.gz 68f1067ff8d264769cee06aa144ac43d 2440 coq-unicoq_1.6-8.16-2build2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPudg8ACgkQ808JdE6f Xdk6Cw//Wy0u8lIbzEGq6XiyNP4v4/LlimySQT1DqX/tB33L3jrWkMJfFamG1mlG guZ400C83I/KsDvcUBhqXRNmFLuGg9dHvbklv7BjOLmmyazLPEY79q/e5oovHwI2 6ZlwWTPdrE0N75lWOvvt2/ZPX8gDNwjVwpisANMV6oYMb9IFo0vLgA0F/Ea4So+7 Pv2fT8vQrb8m/OO8L/AHpSguqpdgVLyIBrnvHtQBfQ/u68ilJVNQcxP3SMdZuniv mqnqOG90W1wrmS+dKGntB66ZhxVvcKP1QgTmKGS0L1JtQQ55YIthPEE0CNn/Sc9Z ZIPKwZrXSg0Qh5Jp1kSdTU5g0l1mMIkw76EgZTd8QwtkJdRwkivi0eFUe8wvWXlg lUZsdF07KtDUpzxX1+1vvZwF06FqvmY1/loLXHiN2kwKyaf7oQvbtFrfsjMCA1yN hhzn/K0rc2N1X0rOS5qftMWXldiCSKLWFnAECZkQSPOrVz2tT5XYvhZpXWUZdEu9 0LKobOJqwBFX53+wAskUE6tQGKing+ZOCak3VuKOcpFeJ5raPAO4CmKsqWGAyqqF nez+zhoDRXTpdY9rVQT33jchtcPyblStaEcDv/yd7mcIn6RYNz7JHvVZLntoffA4 nYWWeznc/PyPzgVwps+GtrwmzUT6bX8pIMgygjO3BvUIC0nrRAI= =bEbh -----END PGP SIGNATURE-----