diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2019-03-20 21:38:21 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2019-03-20 21:39:05 +0100 |
| commit | 5700f6d583a67a59c0f573cee2366be1a1e1f34b (patch) | |
| tree | 34bcf21448f36735fa953546bc44616af074054c /profiles | |
| parent | media-sound/murmur: Bump to version 1.3.0_rc1 (diff) | |
| download | gentoo-5700f6d583a67a59c0f573cee2366be1a1e1f34b.tar.gz gentoo-5700f6d583a67a59c0f573cee2366be1a1e1f34b.tar.bz2 gentoo-5700f6d583a67a59c0f573cee2366be1a1e1f34b.zip | |
package.mask: Last rite dev-util/trinity
Bug: https://bugs.gentoo.org/669604
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 5c288f2e5d11..9eac75bac5ed 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -29,6 +29,13 @@ #--- END OF EXAMPLES --- +# Michał Górny <mgorny@gentoo.org> (20 Mar 2019) +# Unmaintained since 2015, with occasional uncoordinated updates +# by varying developers. The current version is outdated, and fails +# to build. +# Removal in 30 days. Bug #669604. +dev-util/trinity + # Miroslav Šulc <fordfrog@gentoo.org> (19 Mar 2019) # Depends on >=virtual/{jdk,jre}-11 which is masked =www-servers/tomcat-9.0.17 |