Bug 877617 – media-sound/patchage-1.0.10: please stabilize

• Status: RESOLVED FIXED
• Product: Gentoo Linux

[Description Miroslav Šulc 2022-10-19 04:25:06 UTC]

commit 3040b663fa704849e384ff07dd41f85b147fa0f9
Author: Miroslav Šulc <[e-mail]>
Date:   Sun Sep 18 16:26:33 2022 +0200

    media-sound/patchage: bump to 1.0.10
    
    Signed-off-by: Miroslav Šulc <[e-mail]>

[addCollapseLink(1, 1, 'Toggle comment display'); Comment 1 NATTkA bot 2022-10-19 04:28:14 UTC Comment hidden (obsolete)]

Sanity check failed:

> media-sound/patchage-1.0.10
>   depend amd64 dev profile default/linux/amd64/17.0/musl (5 total)
>     >=dev-libs/libfmt-9:=
>   depend amd64 stable profile default/linux/amd64/17.1 (31 total)
>     >=dev-libs/libfmt-9:=

[Comment 2 NATTkA bot 2022-12-18 17:32:20 UTC]

All sanity-check issues have been resolved

[Comment 3 Andreas Sturmlechner 2023-02-18 12:43:58 UTC]

ping

[Comment 4 Miroslav Šulc 2023-03-24 05:48:38 UTC]

ping

[Comment 5 Sam James 2023-04-20 22:14:20 UTC]

amd64 done

[Comment 6 Sam James 2023-04-20 22:14:23 UTC]

x86 done

all arches done

[Comment 7 Larry the Git Cow 2023-04-21 06:47:50 UTC]

The bug has been referenced in the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=77880a2f96d3a39a4d5227fd19b61308fa614685

commit 77880a2f96d3a39a4d5227fd19b61308fa614685
Author:     Miroslav Šulc <[e-mail]>
AuthorDate: 2023-04-21 06:47:34 +0000
Commit:     Miroslav Šulc <[e-mail]>
CommitDate: 2023-04-21 06:47:34 +0000

    media-sound/patchage: dropped obsolete 1.0.8
    
    Bug: https://bugs.gentoo.org/877617
    Signed-off-by: Miroslav Šulc <[e-mail]>

 media-sound/patchage/Manifest              |  1 -
 media-sound/patchage/patchage-1.0.8.ebuild | 50 ------------------------------
 2 files changed, 51 deletions(-)