682406 – sci-mathematics/isabelle: removal

Bug 682406 - sci-mathematics/isabelle: removal

Summary: sci-mathematics/isabelle: removal

Status:	RESOLVED WONTFIX

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	Current packages (show other bugs)
Hardware:	All Linux

Importance:	Normal normal (vote)
Deadline:	2019-05-03
Assignee:	Mark Wright

URL:
Whiteboard:
Keywords:

Depends on:	667476
Blocks:
	Show dependency tree

Reported:	2019-04-03 09:27 UTC by Michał Górny
Modified:	2019-04-06 04:25 UTC (History)
CC List:	2 users (show)

See Also:
Package list:
Runtime testing required:	---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Michał Górny archtester

2019-04-03 09:27:16 UTC

Depends on dev-lang/polyml that no longer builds.  The current version is two years old, and needs a bump for 1.5 year.

Comment 1 Larry the Git Cow gentoo-dev

2019-04-03 09:31:53 UTC

The bug has been referenced in the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0a18a1331e8647403c316aa3234023c610da1057

commit 0a18a1331e8647403c316aa3234023c610da1057
Author:     Michał Górny <mgorny@gentoo.org>
AuthorDate: 2019-04-03 09:29:27 +0000
Commit:     Michał Górny <mgorny@gentoo.org>
CommitDate: 2019-04-03 09:31:46 +0000

    package.mask: Last rite sci-mathematics/isabelle
    
    Bug: https://bugs.gentoo.org/682406
    Signed-off-by: Michał Górny <mgorny@gentoo.org>

 profiles/package.mask | 6 ++++++
 1 file changed, 6 insertions(+)

Comment 2 Tupone Alfredo gentoo-dev

2019-04-05 21:17:07 UTC

Please do not