commit:     bbbe3e11b7e8c19cd44fd37806e3ba093b087954
Author:     Lucio Sauer <watermanpaint <AT> posteo <DOT> net>
AuthorDate: Thu Dec  7 01:51:27 2023 +0000
Commit:     Lucio Sauer <watermanpaint <AT> posteo <DOT> net>
CommitDate: Thu Dec  7 01:51:39 2023 +0000
URL:        https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=bbbe3e11

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 <watermanpaint <AT> posteo.net>

 media-libs/dr_wav/Manifest                                         | 4 ++--
 media-libs/dr_wav/{dr_wav-0.13.32.ebuild => dr_wav-0.13.12.ebuild} | 0
 2 files changed, 2 insertions(+), 2 deletions(-)

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

Reply via email to