commit: 0a18a1331e8647403c316aa3234023c610da1057 Author: Michał Górny <mgorny <AT> gentoo <DOT> org> AuthorDate: Wed Apr 3 09:29:27 2019 +0000 Commit: Michał Górny <mgorny <AT> gentoo <DOT> org> CommitDate: Wed Apr 3 09:31:46 2019 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0a18a133
package.mask: Last rite sci-mathematics/isabelle Bug: https://bugs.gentoo.org/682406 Signed-off-by: Michał Górny <mgorny <AT> gentoo.org> profiles/package.mask | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/profiles/package.mask b/profiles/package.mask index e1c1080261a..bf7bf32edcb 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -29,6 +29,12 @@ #--- END OF EXAMPLES --- +# Michał Górny <[email protected]> (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 <[email protected]> (03 Apr 2019) # Unmaintained. Multiple unresolved build failures (#630280, #638618, # #639648). The current version was added in 2012, and haven't been
