euse -i system-probeuse -E system-probeuse -D system-prob| 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 |