summaryrefslogtreecommitdiff
path: root/academic/z3/z3.info
diff options
context:
space:
mode:
Diffstat (limited to 'academic/z3/z3.info')
-rw-r--r--academic/z3/z3.info10
1 files changed, 10 insertions, 0 deletions
diff --git a/academic/z3/z3.info b/academic/z3/z3.info
new file mode 100644
index 0000000000..b193eeb6d8
--- /dev/null
+++ b/academic/z3/z3.info
@@ -0,0 +1,10 @@
+PRGNAM="z3"
+VERSION="4.8.4"
+HOMEPAGE="https://github.com/Z3Prover/z3/wiki"
+DOWNLOAD="https://github.com/Z3Prover/z3/archive/z3-4.8.4.tar.gz"
+MD5SUM="b74bbb04e90c034125fe9e01988add95"
+DOWNLOAD_x86_64=""
+MD5SUM_x86_64=""
+REQUIRES=""
+MAINTAINER="Nick Smallbone"
+EMAIL="nick@smallbone.se"