diff options
| author | Matt Turner <mattst88@gmail.com> | 2021-07-16 09:28:46 -0700 |
|---|---|---|
| committer | Matt Turner <mattst88@gmail.com> | 2021-07-16 09:28:46 -0700 |
| commit | 366724f19977479c9cc635f1501cda30873d5251 (patch) | |
| tree | f1f14695b0ee684a1139435d8fdcdb22f4994409 | |
| parent | ca27f10f2e20c5207ebf7201e6faa53f215698c2 (diff) | |
package.use: sci-mathematics/z3 python
| -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 |