diff options
| -rw-r--r-- | base/etc/portage/package.use/z3 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/base/etc/portage/package.use/z3 b/base/etc/portage/package.use/z3 index bc3bd08..a8b6891 100644 --- a/base/etc/portage/package.use/z3 +++ b/base/etc/portage/package.use/z3 @@ -1 +1 @@ -sci-mathematics/z3 python +sci-mathematics/z3 doc gmp python |