Gentoo Packages

sci-mathematics/eventb-animate: Use <pkg>sci-mathematics/prob-bin</pkg> instead of the bundled ProB kernel
sci-mathematics/prob2-ui: Use <pkg>sci-mathematics/prob-bin</pkg> instead of the bundled ProB kernel

Warning: USE flag 'system-prob' is used in ebuilds/metadata but is not defined in profiles/use.desc

Package	Local Description (use.local.desc)	Metadata Description (metadata.xml)
sci-mathematics/eventb-animate	-	Use <pkg>sci-mathematics/prob-bin</pkg> instead of the bundled ProB kernel
sci-mathematics/prob2-ui	-	Use <pkg>sci-mathematics/prob-bin</pkg> instead of the bundled ProB kernel

USE Flag: system-prob