Accepted coq-stdpp 1.8.0-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-stdpp 1.8.0-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 19 Aug 2022 09:34:02 +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=MMnqLlsuUGDpnxpSNBSlQEOcImj1/7814RfzAbcjkaY=; b=JLUacMcSkwgY3orEr1wtcNB6tW mP2/uIjBVVbeVbrku2dOexs7e706uVmz9s3LDvPg8+QFEpMPzKXjiKkqZ7bSnURkE4oREvvqtzFhC WLoz/GVWXyNeZb+3Bu18avzPQm7M9DBNcWT7gUigEnpS6c+TpQHT6qcrvGpkVV6e5UoMF0IpIG0KW oNFlvdwBU2YASik1j7rP5ijvWVlg/s86jFNmlvHTSp2kHfn07Vezvoxd+NUWGrL1m8/wmcLqRx352 uz0ltT3DGvJTID+NCGQLuAEb3KnkifVy6txEaocQouQm3o2TKz5hPBWs8YH5wTv7QKRO3NsbxSZum 5bqYbipw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oOyOA-000XQQ-4v@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 19 Aug 2022 11:14:14 +0200
Source: coq-stdpp
Architecture: source
Version: 1.8.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-stdpp (1.8.0-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
fd2a05d0823b8b44ba1b43868cbd7d30dd84fa3d 2036 coq-stdpp_1.8.0-1.dsc
5fad69b07b70bd39cbf9d70f8debec53cc6b924d 254469 coq-stdpp_1.8.0.orig.tar.gz
d1711efcf8f14221d25082c3edc8d9b642f5e47a 2300 coq-stdpp_1.8.0-1.debian.tar.xz
1e27a009634dbb17af70fd1436ae60aad81986fa 6948 coq-stdpp_1.8.0-1_source.buildinfo
Checksums-Sha256:
68f2c02e1726fa11f7f79b5ed93b3040b5db55c8887fe09bdea0d524fdd425df 2036 coq-stdpp_1.8.0-1.dsc
dab131d35f5b647bc3f846d64d48c154dd999461561ad1d94b477249905f7328 254469 coq-stdpp_1.8.0.orig.tar.gz
8de8b061542c8d59e42854830394412d9a5315f23070ded7b0bf5267647918bc 2300 coq-stdpp_1.8.0-1.debian.tar.xz
9c0a4e53788596960da7e53cfca6657b54a076ad8a8a197a61dc6819fdc07df6 6948 coq-stdpp_1.8.0-1_source.buildinfo
Files:
305c441903f132cc589a2dfc0172d5d0 2036 ocaml optional coq-stdpp_1.8.0-1.dsc
b6202104a62a6f71a9416ba6ca1a380b 254469 ocaml optional coq-stdpp_1.8.0.orig.tar.gz
e8aef8457038decbce94969fb9d5ab38 2300 ocaml optional coq-stdpp_1.8.0-1.debian.tar.xz
07c20d7c1dbcd1704989e2d7af46773f 6948 ocaml optional coq-stdpp_1.8.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmL/VIsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRcpYP/jA0hGhPtR1ai+IseWDvlnFPKL5wzS5J
LghNJ/jXgQ9///xQ/gdfT7XIQyS0iUOMtU5ockJmLNt12c4oG84YHbY8+W0B/8wc
tLy5pxDmI4MED9TmKnzUax1dr9TkFOkh6DLIq3Fqh86OxvXDLMEW/fhCn+yvgPMj
VADV7I+4sjjeJA7nYxLKjSetoiwpKBzFZC947nK0lrdgRvGrV0cPqf7PP7JImgZ3
Ku4vx8OtjKN5pUT/k2skieATzC2EFe9v/NlnxzPh2R4DqK4w3c9j4NjAxLNqvkLJ
HVYoy68CcS5yv95FvMCPRc+FVddwu9FGHyetLesw4mnwMHhVcUrokAbwjflPgjpp
FFwQZH+AngFwdHZnAdtD/tSDrh8lbb6ClPYOhKFioDs6aSXCpxG4NDD1ztQVgUHk
B83XoKwazI1976T05oBLIw8F2ZrzTQ+R5PblojQagzR2VvDYY/ExviP3FJcr8pqH
LQ2/PMAKUrZQXaEbHsSHU3xsx+9cSvqEAlvCNG26zrUSrnQkTwp6IF/lNvoJNpoA
AAlhpGT+4NM70Vowkq9IKwge548vujKXxUPNStgIE5UvvcGKePiCPrYz9DibGDe4
SeCdGR4lfWYKzwlajqZv6h5nh95bbYpITroB+4xXE9Ok3Qa/Bf0IWMwXk9Jqw7wo
aeKLbvviyGZq
=7+jx
-----END PGP SIGNATURE-----