diff options
Diffstat (limited to 'base/etc')
-rw-r--r-- | base/etc/portage/package.use/z3 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/base/etc/portage/package.use/z3 b/base/etc/portage/package.use/z3 new file mode 100644 index 0000000..bc3bd08 --- /dev/null +++ b/base/etc/portage/package.use/z3 @@ -0,0 +1 @@ +sci-mathematics/z3 python |