diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2017-06-05 21:39:31 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2017-06-05 23:42:38 +0200 |
| commit | 38d88dedcc0c09665bc05df738d00b0251aa98b8 (patch) | |
| tree | 18d56e657b61b076864bcf5ccc1cb7886fddd490 /profiles | |
| parent | package.mask: Last rite media-sound/pianobooster, #513416 (diff) | |
| download | gentoo-38d88dedcc0c09665bc05df738d00b0251aa98b8.tar.gz gentoo-38d88dedcc0c09665bc05df738d00b0251aa98b8.tar.bz2 gentoo-38d88dedcc0c09665bc05df738d00b0251aa98b8.zip | |
package.mask: Last rite dev-libs/libjit, #594384
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 7c1fd3fbef3e..d5bf384e64bb 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -31,6 +31,12 @@ # Michał Górny <mgorny@gentoo.org> (05 Jun 2017) # (on behalf of Treecleaner project) +# Dead upstream. No reverse dependencies. Fails to build. +# Removal in 30 days. Bug #594384. +dev-libs/libjit + +# Michał Górny <mgorny@gentoo.org> (05 Jun 2017) +# (on behalf of Treecleaner project) # Unmaintained upstream. Fails to build. # Removal in 30 days. Bug #513416. media-sound/pianobooster |