Gentoo Packages
Gentoo Packages
>
eventb-rossi
>
Eclasses
> desktop
desktop
Packages inheriting this eclass in the eventb-rossi overlay.
View Global Summary
Summary
Total Packages
3
This eclass is not provided by this overlay. It is inherited / used from other overlays. View the
global eclass page
to see where it is provided.
Packages inheriting desktop
Package
sci-mathematics/atelier-b
sci-mathematics/prob-bin
sci-mathematics/rodin