Accepted coq-stdpp 1.8.0-4 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-stdpp 1.8.0-4 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 12 Jun 2023 20:58:50 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-stdpp_1.8.0-4_source.changes
- Debian-source: coq-stdpp
- Debian-suite: unstable
- Debian-version: 1.8.0-4
- 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=3qNwTh6Sgw4tOVAIe2g01aAxBoa1qMtRzJDkudB+1DU=; b=SiPnvBO2/yNJGpaaw7kgXE9/Ua nwSDjHdfJMw4Wt1BZNdFFRacZRetFRv4dooYkIgRCWI+5YBYvVgIFyPfO88g5mrevPgfnhBE3zoXF QhWMsIXgyqj4sc0vOWS+Q/IVoL5+JP4ETMcQKM3gnMJbFkIucfXZ7XR2x931O7KVEi3k4nUEEuduN XGZIX+6XHIUK8P+3wPa5jTe6gwSixI6upG9ZUy+/3Hfq8KBYVCzvxgdZtipAnX33byPg9wGcpFu0t nUnDCYaG8mdtZMerDvOdKt+8pX0V6JU77W9h4nDOXbf9EFnnVIJOdDpSiZ3TsNMEO8ZVhw0ACvR5w YDR21LgA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q8ock-000GNl-Nh@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 12 Jun 2023 19:33:38 +0200
Source: coq-stdpp
Architecture: source
Version: 1.8.0-4
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-4) unstable; urgency=medium
.
* Bump standards-version to 4.6.2.
Checksums-Sha1:
f93baa58360cea53521f562af7e595c09498ce57 2056 coq-stdpp_1.8.0-4.dsc
9ec8e1c4cab463a419557ca6bd8fc639cdcfb526 2420 coq-stdpp_1.8.0-4.debian.tar.xz
fc8fc28275bb93439005b432070252d51ea2c12a 7331 coq-stdpp_1.8.0-4_source.buildinfo
Checksums-Sha256:
1e304a7b4dde54b73a0deca85d47a2714fdc6f4b6c11dae2307628eda6c6081b 2056 coq-stdpp_1.8.0-4.dsc
e6e716d69c3555e30af226d68fb0b08a6bb5252f99a8f4f12e7e2b9d91842026 2420 coq-stdpp_1.8.0-4.debian.tar.xz
249ee642bf504f18ce7232e8eab668b9b64a2551c186ee637c8597d5c7a33d1e 7331 coq-stdpp_1.8.0-4_source.buildinfo
Files:
979e8f1b477fe387161f49f760ddb2be 2056 ocaml optional coq-stdpp_1.8.0-4.dsc
eecbde6182a533ff1a80b7e5ce361814 2420 ocaml optional coq-stdpp_1.8.0-4.debian.tar.xz
2b937b3aea00088d18dc6143d14aa9fc 7331 ocaml optional coq-stdpp_1.8.0-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVvoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRDmgP/3RbC0NY0BIRRV2T/sJXX8xlOoAQkAqC
2/hv2m3cweZJP7SThg7xAISWk3ELT/eeghfKrzjQsKIb1BoiKKBW11Rmlw5dRN/7
xbCdLoiyRt0swUH/c5nffXBeZWG0tXoCEegQm5NVBtokb5YaBMut4shnWCdc0wn5
eruGd6jucB6RwpaEPjkE2a3GjCBvKGbMCt3/DfUPOQ2Ick4AZY218VxgqULX96Y+
WozEmlHauNBYgUBE76AMrU3q6rZmf6pAk/VOi8EElLUnxgNQ4gcZQHMYm3tJysu3
l48AaJtMQZdnfaejH1Ly5hFK9nkhBRL8qrHnDaZH4Xkc0mI6X1h6Z7mktKSKdhtC
xfM79b21EGgv889bP+f9tNUeqHjn9EpbLVmc5OUI2Bh2YxVA7CvgTGJikN5o6Pxg
dLFzWCXSzp6+QHyGYP4L1LFn6INl2GtqzDy3GwK40WXWaYjqZ0TLMcPf36sl01Bd
Oq1ysK8bIqqvcsQ48RWCnTgBRNMbnSYYRpGqcKX4aOkUtN5Pc+kP1s5DegwiV76o
vb6b/BQ/DKWQgHLuHXgM39BjM26ebofKzAFGCEAVJVqYVFgyZH2FlzqR+TSEhHEk
J1Fz5cbJa7BgHhHjZgx4G42d0vaUw6DiVnnDM/ZCJ1YUc9Yn6zyUvxQRZSEAJzD6
OGHH4wjLLule
=g3Uu
-----END PGP SIGNATURE-----