diff options
| author |   Repository QA checks <repo-qa-checks@gentoo.org> | 2017-10-24 20:09:57 +0000 |
|---|---|---|
| committer | Repository QA checks <repo-qa-checks@gentoo.org> | 2017-10-24 20:09:57 +0000 |
| commit | a408f96439dd23ece9ea908b402a688753e4d13d (patch) | |
| tree | c0c9cf45b4e0342251b64b8902416cec7163b259 /profiles | |
| parent | Merge updates from master (diff) | |
| download | gentoo-a408f96439dd23ece9ea908b402a688753e4d13d.tar.gz gentoo-a408f96439dd23ece9ea908b402a688753e4d13d.tar.bz2 gentoo-a408f96439dd23ece9ea908b402a688753e4d13d.zip | |
2017-10-24 20:09:56 UTC
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/use.local.desc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/profiles/use.local.desc b/profiles/use.local.desc index 6690e30cfc8e..b8332cfbb7d7 100644 --- a/profiles/use.local.desc +++ b/profiles/use.local.desc @@ -7357,6 +7357,7 @@ sci-mathematics/why3-for-spark:html - Build HTML documentation sci-mathematics/why3-for-spark:hypothesis-selection - Enable hypothesis selection sci-mathematics/why3-for-spark:profiling - Enable profiling sci-mathematics/why3-for-spark:zarith - Use dev-ml/zarith +sci-mathematics/why3-for-spark:zip - Enable compression of session files sci-mathematics/yacas:doc - Generate HTML documentation sci-mathematics/yacas:gui - Build graphical interface for the native yacas engine. Requires Qt5 sci-mathematics/yacas:java - Build the Java yacas engine and text console for it |