diff options
author | Michał Górny <mgorny@gentoo.org> | 2019-04-03 11:29:27 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2019-04-03 11:31:46 +0200 |
commit | 0a18a1331e8647403c316aa3234023c610da1057 (patch) | |
tree | 9470ef24cd65e59fee727d3dc903ca54240f35a9 | |
parent | profiles/base: Mask USE=isabelle everywhere (diff) | |
download | gentoo-0a18a133.tar.gz gentoo-0a18a133.tar.bz2 gentoo-0a18a133.zip |
package.mask: Last rite sci-mathematics/isabelle
Bug: https://bugs.gentoo.org/682406
Signed-off-by: Michał Górny <mgorny@gentoo.org>
-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 e1c1080261af..bf7bf32edcb1 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -30,6 +30,12 @@ #--- END OF EXAMPLES --- # 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). |