Accepted coq-unicoq 1.6-8.16-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-unicoq 1.6-8.16-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 06 Sep 2022 09:36:45 +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: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=n5A9uwsnBBYJqID2mPyFs/GoXJc9T8fpfoB8i+p65lM=; b=ETHTJoP1cll8DPQYHscUX4VpJ7 S1aej5H3XEAO4YA9Z7i/e/Ob7R4oXdZVV3O2VwKtsyDCARRxS39/YRreciT2QUSq0+3JlAWC7Znds HBlaqCVTwcQaCpffCbhtNjqxM+WEyxoJH8v6bGGL74+IarAh4kiCnk1xdHn0fw94fBnRfQJ2YHryo 3H1z3QK/zwvNievoAin5d0MAxlPi4C4SxUFQ0FEJHfeUZuBcEt68MSdEwToVrrkiTaJhU+/Fb+c3/ 07a/3pLB+ubdqYqXuuBe82fhAfdGGugzb3fi56et2X0vcA49qia7D/a0fdhx3lo1i0iTtNybtGkZB x/GDL1OQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oVV0f-00DhHD-Ji@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 22 Aug 2022 16:38:40 +0200
Source: coq-unicoq
Architecture: source
Version: 1.6-8.16-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-unicoq (1.6-8.16-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
745bb957969132e68c7874e539929f13abbba274 2079 coq-unicoq_1.6-8.16-1.dsc
3434e1899bb99fa3b720c56484a8d0af4fc380bb 593541 coq-unicoq_1.6-8.16.orig.tar.gz
e9dee016d4ce5e7a3d28051b6e79804f324cb15a 2312 coq-unicoq_1.6-8.16-1.debian.tar.xz
0c4dbb89520d26aea39273945698d506d0a38367 6995 coq-unicoq_1.6-8.16-1_source.buildinfo
Checksums-Sha256:
63bc08e1b045f0aa22c9ab25d96eec6030f9056cb2488e42bbbaea38951dc0df 2079 coq-unicoq_1.6-8.16-1.dsc
e704c5e15355e5050fb708b2252e53e30371d6e9d9b34f4bf0ef948efed9ecf5 593541 coq-unicoq_1.6-8.16.orig.tar.gz
d6adee9573bff2b30b38e829006fcc6b3a554ec8919b651832cfbe04d7daa0a2 2312 coq-unicoq_1.6-8.16-1.debian.tar.xz
3977deff4f4ecf29153c078c313477d718ce1f668a0a87582eadb3b2398fcd66 6995 coq-unicoq_1.6-8.16-1_source.buildinfo
Files:
4b6248ca8739307d10dff892c3dc7c1c 2079 ocaml optional coq-unicoq_1.6-8.16-1.dsc
041e01221bba8ef6f2c45ec1b8a1ca98 593541 ocaml optional coq-unicoq_1.6-8.16.orig.tar.gz
7ef021f329446b70e45da0ee2cad3d74 2312 ocaml optional coq-unicoq_1.6-8.16-1.debian.tar.xz
c1074f859d5361bd8b3d5eab04791989 6995 ocaml optional coq-unicoq_1.6-8.16-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWI/MSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR660QAJ8yRPVB7By5ikgdvkOVuD/t5NjyXt/X
ilm6r5ME6b6obSGuTWB9q6wR/axKpGfXHq+6k9Po5azdUBluLllXU6HgHAseHGqc
PT+lPkWAbEEZuaYBYWj5SfR+jn1pq78ek3YvAA5Z6opqNVOKdh2B3Jkor4Z/Nzrw
SFypUsOuEleAdyiikRE/9g90TW4LTwBgttQk94ZBbSe0+sxJ9+aLm7yb4kb/80sz
qlrpZWFrDD2p8fNdnTs5J+AIz9UhkdAPtwK4ew+LbcrYo0YuKam/kI/oULzWH37M
ux8ibdww7TVHmJpBG4zn45XvYyAXgQRTrpJqWAyPo5a/fI0LD7qvCGf4W9+bhPvJ
W18qxtt/9Hu+6L4e+L9OOoNtFJIlqZlAItspVKrInZulIgTF/N96eupP4Z6oZA5n
4gPp08M2lbxyG/VLqNaSCW2oObGBIoiyGWPMrDeK1bGH866UZO6pIBFT/EoLOlKD
wwieMUh+dOJUYsKGMUuUSNdWwQw51QQ3ZIcObY9q4oxIiH6lOhp3+EkrzeJGdfod
H7SijCOaoMvR9OO+fLMC6FZWsfY1JswE7w/xckpRSsm6p9yqrPbZ7VjK/GBR07gm
FTjhcT6I57ssrDJYOSAJDu6lmOGo+9EJZQ7LgIQ87mWRtJg379OqWK1r+QfBEGSz
UOR8Jj0m0uDg
=OBON
-----END PGP SIGNATURE-----