aboutsummaryrefslogtreecommitdiff
path: root/sets/ara
diff options
context:
space:
mode:
Diffstat (limited to 'sets/ara')
-rw-r--r--sets/ara4
1 files changed, 3 insertions, 1 deletions
diff --git a/sets/ara b/sets/ara
index d1605ba..5209b1f 100644
--- a/sets/ara
+++ b/sets/ara
@@ -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