Accepted coq-unicoq 1.6-8.15-2 (source amd64) into unstable, unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-unicoq 1.6-8.15-2 (source amd64) into unstable, unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 20 Jul 2022 18:00:10 +0000
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=2y0Pwnby5ukN5zfysbpTAJYbRCG7anFcBPWTbR4Xc/g=; b=ZNIWndQJEZNelqGPVMO3Dau0Bo QRJ87+5oftPY9ib28E+uGVmr3phLN+CTbThkiF5L1orvAAUQtfECDt+r33yGYxtCCUUh6iys04p0r /VtcXBbD8qI0MfVqquwOmOIDtL84p1ZZO+gdlFzGJeTIKYTWzDNfx9PRtAOxpsViNbEnCidXKOrA6 yc6jMml3KsqylQIMbL3Vj7eAD+GDqXt5lAcFnzuM0q67jwxddAv5j5zeP3QRNAy7jExMQkugb408a WmoPfTK/xMELz24ICKs/wuFpw3gF67yE2OFrKZtePoo0bVyIgZR4Jfkid4O3nrKOfDW4HVoRcgWJG eu9p2Atw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oEDzW-0009v4-Tk@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----