Bug 769329

Summary:	sci-mathematics/why3-for-spark[gtk] depends on dev-ml/lablgtk:2
Product:	Gentoo Linux	Reporter:	Andreas Sturmlechner <asturm>
Component:	Current packages	Assignee:	Tupone Alfredo <tupone>
Status:	RESOLVED WORKSFORME
Severity:	normal
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Bug Depends on:
Bug Blocks:	769287

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