diff options
author | Michał Górny <mgorny@gentoo.org> | 2019-04-03 11:20:47 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2019-04-03 11:22:46 +0200 |
commit | d00b6268c055b490cd656abdb48729ca94139cea (patch) | |
tree | 0daa83299c7c696d33fd67de3f456b8e01810c5b /profiles | |
parent | package.mask: Last rite dev-libs/blitz (diff) | |
download | gentoo-d00b6268c055b490cd656abdb48729ca94139cea.tar.gz gentoo-d00b6268c055b490cd656abdb48729ca94139cea.tar.bz2 gentoo-d00b6268c055b490cd656abdb48729ca94139cea.zip |
package.mask: Revert "Last rite dev-lang/polyml"
This needs cleaning sci-mathematics/isabelle first.
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index eb986008ff01..e1c1080261af 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -43,12 +43,6 @@ dev-libs/blitz dev-libs/handystats # 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) # Does not build against ffmpeg-4. Last release in 2012. Last upstream # commits in 2017. # Removal in 30 days. Bug #673826. |