-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 19 Jul 2022 09:09:55 +0200 Source: coq-unicoq Binary: libcoq-unicoq libcoq-unicoq-dbgsym Architecture: source amd64 Version: 1.6-8.15-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-unicoq - enhanced unification algorithm for Coq Changes: coq-unicoq (1.6-8.15-2) unstable; urgency=medium . * Complete d/copyright. Checksums-Sha1: 86d039e6c34a66c33fcfd9de418b862377616b3b 2079 coq-unicoq_1.6-8.15-2.dsc 97570081a701204a3b9f169262696e42390a37f6 593602 coq-unicoq_1.6-8.15.orig.tar.gz 9d4ee7bf51ac649e3e950275635f1070c930b0a9 2276 coq-unicoq_1.6-8.15-2.debian.tar.xz 5f421b09faf7629b1da720b76b664e7b859bf3b7 7419 coq-unicoq_1.6-8.15-2_amd64.buildinfo 6b9755fd8adbc7b0fb0e3ce51734c75f0778504c 20480 libcoq-unicoq-dbgsym_1.6-8.15-2_amd64.deb fbd7cf4553da6508b9ecdf85f3405d9744b1d190 77796 libcoq-unicoq_1.6-8.15-2_amd64.deb Checksums-Sha256: b6a24baa48847d4d63ced4b3fa0261b130f2f89a2c6f701b68edd14591b828d3 2079 coq-unicoq_1.6-8.15-2.dsc 1eee8a6742b5ccdee23b3630c74a0ad6206745af63f2fac1a7d0d299533edf63 593602 coq-unicoq_1.6-8.15.orig.tar.gz 5e708f4d7c24f4290e269020aafd104e7e7401031869fbb3cfc0daed640b2278 2276 coq-unicoq_1.6-8.15-2.debian.tar.xz b10cc6a4f271fd9ad7506f61ee1cf5cf05f9b7561c825834aa8230dad7dd1be9 7419 coq-unicoq_1.6-8.15-2_amd64.buildinfo 98986afd09463d1389257dde581a27b029c45e08e1bb9d826e26d216fe7f1623 20480 libcoq-unicoq-dbgsym_1.6-8.15-2_amd64.deb da7ee3054af554b9395f982b2d01a950a5296c7b14f15956c8d471bc7c7f8187 77796 libcoq-unicoq_1.6-8.15-2_amd64.deb Files: fd6babd093027422dbbfe90cfd68bfdc 2079 ocaml optional coq-unicoq_1.6-8.15-2.dsc 016e0516edc78290c4b0edcf5fac31fc 593602 ocaml optional coq-unicoq_1.6-8.15.orig.tar.gz 78984d882dc29477d686de9556b796c8 2276 ocaml optional coq-unicoq_1.6-8.15-2.debian.tar.xz 5efad38596512a11b2052fc2b67f710a 7419 ocaml optional coq-unicoq_1.6-8.15-2_amd64.buildinfo 4524c7f147c7d29a3f3cce828e478787 20480 debug optional libcoq-unicoq-dbgsym_1.6-8.15-2_amd64.deb 2cec38baa89a13ffc1585de307389202 77796 ocaml optional libcoq-unicoq_1.6-8.15-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLWWN0SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRUQsP/RvASRgVAQvBjfLTPgkp17xsW3SdRMaP 9EQVBIk2IZooMIjUVTg8u+gz2qyzBrfQi62UPkyidWSo0BbqxpWbqMCbyoflZ/xf be2xmCW9jIklglF4v4rVMT/AdgIMZvJhtDMFtbcdPTTBkAzPkZC/8uUGfaVXvumx ybg2i3GUYHyxK/xWei1BEJPKj/UUL6nnW2Wdm2jE7DnpuxCOshPKb5nvk16vhd// vsNKUDhMSGceE/06shlx9hNUCwqf78DQdqTLRrkBnJ1xf2KAd7UkP4s50D32Sy2F XoY7piW3OCv6Ph4qcfyQIAb+4H/ejCKSKnvN+0aeIRqZGPMSZkDVRqaqaghp/5PD miwuFbgxM02eNS+c6DvDxYX1BZnDJw0eEOZaTcr3f7CrtsKc/GLOZTEfTfy5Ue5x 1PoZZDvyL5F3g9pryvOHBsml6f/hMcFF7UzYWkcYyxJTfjflDkWQJlKRNdaIdhrm NCnDnpMfGtDMBTAGaIzFx7VdyPyHwqJ6qGnCbzpoYztVqC3JN1gACuhsfEVpqzND EXbuPsXmkPC88Q9mU9HnyRwKVnFg+GtRQlvRrZJw8nd2e/jDjO9xlPpTN1OMhuFa JuljvEPX68y6J34Q0iglmY5DqYm7A8zIDLFsAp5V9xTgzhTPS0Wjoyk4DCDo+F3E vTT6mK3N5sxs =oJD2 -----END PGP SIGNATURE-----
