diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2023-02-24 18:56:45 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2023-02-24 18:56:45 +0100 |
| commit | 6d4d06c94424ae690a14a3611d5f01016ca61b79 (patch) | |
| tree | 9255549c0ccdd2865039e2b76406498409161794 /profiles | |
| parent | package.mask: Last rite media-tv/nvtv (diff) | |
| download | gentoo-6d4d06c94424ae690a14a3611d5f01016ca61b79.tar.gz gentoo-6d4d06c94424ae690a14a3611d5f01016ca61b79.tar.bz2 gentoo-6d4d06c94424ae690a14a3611d5f01016ca61b79.zip | |
package.mask: Last rite dev-lang/regina-rexx
Bug: https://bugs.gentoo.org/894626
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 5b8cc771b54d..496b62609f59 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -34,6 +34,12 @@ #--- END OF EXAMPLES --- # Michał Górny <mgorny@gentoo.org> (2023-02-24) +# Unmaintained with multiple build failures reported. The current +# Gentoo version is from 2015, and is a few releases behind upstream. +# Removal on 2023-03-26. Bug #894626. +dev-lang/regina-rexx + +# Michał Górny <mgorny@gentoo.org> (2023-02-24) # Unmaintained with reported bugs. Last release in 2004. # Removal on 2023-03-26. Bug #740480. media-tv/nvtv |