diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2019-04-05 18:46:35 +0200 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2019-04-05 18:49:20 +0200 |
| commit | b95bc92602f3b0db2007710d136621b086e97604 (patch) | |
| tree | fd76c0eceac580adea7550063c15ed1cc0f70a54 /profiles | |
| parent | dev-lang/polyml: Adding me as a maintainer (diff) | |
| download | gentoo-b95bc92602f3b0db2007710d136621b086e97604.tar.gz gentoo-b95bc92602f3b0db2007710d136621b086e97604.tar.bz2 gentoo-b95bc92602f3b0db2007710d136621b086e97604.zip | |
unmask dev-lang/polyml and sci-mathematics/isabelle
I'm trying to take care of them
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index ce49145483d3..4a563cdbd484 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -41,18 +41,6 @@ dev-go/go-resiliency games-roguelike/zangband # Michał Górny <mgorny@gentoo.org> (03 Apr 2019) -# Does not build against libffi-3.3. Also other unsolved build failures -# (#619662, #606096). Needs version bump for almost 2 years. -# Removal in 30 days. Bug #667476. -dev-lang/polyml - -# Michał Górny <mgorny@gentoo.org> (03 Apr 2019) -# Depends on dev-lang/polyml that no longer builds. The current version -# is two years old, and needs a bump for 1.5 year. -# Removal in 30 days. Bug #682406. -sci-mathematics/isabelle - -# Michał Górny <mgorny@gentoo.org> (03 Apr 2019) # Unmaintained. Multiple unresolved build failures (#630280, #638618, # #639648). The current version was added in 2012, and haven't been # bumped since. Upstream has released 1.0.0 in 2016 (#638464). |