From bbbe3e11b7e8c19cd44fd37806e3ba093b087954 Mon Sep 17 00:00:00 2001 From: Lucio Sauer Date: Thu, 7 Dec 2023 02:51:27 +0100 Subject: [PATCH] media-libs/dr_wav: add 0.13.12, drop 0.13.32 The original version should have been 0.13.12, not 0.13.32! Fixed in coordination with #gentoo-dev-help: [02:33] colores: I accidentally pushed a package with the wrong version specifier to GURU. The recently released new version would trigger a "downgrade" from the incorrectly-named old one. Do I simply push the new version and delete the old one? They don't need to co-exist anyway. [snip] [02:37] @ sam_: uh oh... [02:37] @ sam_: 1) yes, it's fine to git mv to the proper version in this case, just do it quickly Signed-off-by: Lucio Sauer --- media-libs/dr_wav/Manifest | 4 ++-- .../dr_wav/{dr_wav-0.13.32.ebuild => dr_wav-0.13.12.ebuild} | 0 2 files changed, 2 insertions(+), 2 deletions(-) rename media-libs/dr_wav/{dr_wav-0.13.32.ebuild => dr_wav-0.13.12.ebuild} (100%) diff --git a/media-libs/dr_wav/Manifest b/media-libs/dr_wav/Manifest index b4652ddbc6..f47932ccdc 100644 --- a/media-libs/dr_wav/Manifest +++ b/media-libs/dr_wav/Manifest @@ -1,2 +1,2 @@ -DIST dr_wav-0.13.32.gh.tar.gz 518394 BLAKE2B 49447a2b845f95e9896fb45ac2cd9de8f59d45d3271e30e26c0e519355c3578b96f2c2978677d2774c1bfa4656a8213eafda00207cdd89f72d6823cf0f1b77cf SHA512 34126c8eb65f0735b77f058db9f1618b3c4e820698804b47f7a629c47df571e9cbbeefd4cce193409ebd715d37ed5faf1c3c27a7240e0f5418089cffe853f1ea -DIST dr_wav-0.13.32.h 351384 BLAKE2B 2bcbeab7e7aa6a7519bea978742494205625a60b8c0a464305c6f6fb7eec33be54640fdb2578437c4143e50e5ad2d18730351ecdd824d25ab6e0f8af3b8d018c SHA512 a4a681546716b1a1a9e55321796828828b1872bf223c7c02529a1553b8beafe2a89ffe72a38e5aa3bf457a8ce4dd2dcf9cba7a9cde28e59586a8388f1439a8a1 +DIST dr_wav-0.13.12.gh.tar.gz 518394 BLAKE2B 49447a2b845f95e9896fb45ac2cd9de8f59d45d3271e30e26c0e519355c3578b96f2c2978677d2774c1bfa4656a8213eafda00207cdd89f72d6823cf0f1b77cf SHA512 34126c8eb65f0735b77f058db9f1618b3c4e820698804b47f7a629c47df571e9cbbeefd4cce193409ebd715d37ed5faf1c3c27a7240e0f5418089cffe853f1ea +DIST dr_wav-0.13.12.h 351384 BLAKE2B 2bcbeab7e7aa6a7519bea978742494205625a60b8c0a464305c6f6fb7eec33be54640fdb2578437c4143e50e5ad2d18730351ecdd824d25ab6e0f8af3b8d018c SHA512 a4a681546716b1a1a9e55321796828828b1872bf223c7c02529a1553b8beafe2a89ffe72a38e5aa3bf457a8ce4dd2dcf9cba7a9cde28e59586a8388f1439a8a1 diff --git a/media-libs/dr_wav/dr_wav-0.13.32.ebuild b/media-libs/dr_wav/dr_wav-0.13.12.ebuild similarity index 100% rename from media-libs/dr_wav/dr_wav-0.13.32.ebuild rename to media-libs/dr_wav/dr_wav-0.13.12.ebuild