diff options
-rw-r--r-- | sets/ara | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -3,4 +3,6 @@ dev-util/meson dev-libs/boost dev-python/graph-tool dev-python/pydot -sys-devel/llvm:9 +sys-devel/llvm:12 +sys-devel/clang:12 +sci-mathematics/z3 |
index : repo/user/gerislay.git | ||
A personal overlay with no specific focus (mainly to test ebuilds). Highly experimental. It is meant as a playground for me, but others might be interested. | gerion <gerion.entrup@flump.de> |
aboutsummaryrefslogtreecommitdiff |
-rw-r--r-- | sets/ara | 4 |
@@ -3,4 +3,6 @@ dev-util/meson dev-libs/boost dev-python/graph-tool dev-python/pydot -sys-devel/llvm:9 +sys-devel/llvm:12 +sys-devel/clang:12 +sci-mathematics/z3 |