769329 – sci-mathematics/why3-for-spark[gtk] depends on dev-ml/lablgtk:2

Bug 769329 - sci-mathematics/why3-for-spark[gtk] depends on dev-ml/lablgtk:2

Summary: sci-mathematics/why3-for-spark[gtk] depends on dev-ml/lablgtk:2

Status:	RESOLVED WORKSFORME

Alias:	None

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

Importance:	Normal normal (vote)
Assignee:	Tupone Alfredo

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:	lablgtk2-removal
	Show dependency tree

Reported:	2021-02-07 15:43 UTC by Andreas Sturmlechner
Modified:	2021-02-11 13:08 UTC (History)
CC List:	0 users

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 Andreas Sturmlechner gentoo-dev

2021-02-07 15:43:43 UTC

x11-libs/gtk+:2 is dead and needs to go away.

Comment 1 Andreas Sturmlechner gentoo-dev

2021-02-07 17:07:09 UTC

Also, please tell me if we can destabilise this package (drop 2018-r1) in order to avoid the stabilisation rabbithole in bug 769317 (consequently also destabilising sci-mathematics/coq). Its only revdep dev-lang/spark is currently PMASKED anyway due to py27.

Comment 2 Tupone Alfredo gentoo-dev

2021-02-11 13:08:55 UTC

My first guess it is that it depends on lablgtk 2 or 3. 3 is preferred