aboutsummaryrefslogtreecommitdiff
path: root/sets
diff options
context:
space:
mode:
authorGerion Entrup <gerion.entrup@flump.de>2022-08-10 13:19:08 +0200
committerGerion Entrup <gerion.entrup@flump.de>2022-08-10 13:19:08 +0200
commit4113a7bbb214f5a6270457a6e8abdce1b089fafd (patch)
treee48354d6691928bcd0610f7fb4df5fc74e8dcf4a /sets
parentdev-python/sra: update to new URL (diff)
downloadgerislay-4113a7bbb214f5a6270457a6e8abdce1b089fafd.tar.gz
gerislay-4113a7bbb214f5a6270457a6e8abdce1b089fafd.tar.bz2
gerislay-4113a7bbb214f5a6270457a6e8abdce1b089fafd.zip
sets/ara: update dependencies
Signed-off-by: Gerion Entrup <gerion.entrup@flump.de>
Diffstat (limited to 'sets')
-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