summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
authorDaniel Woffinden2015-06-08 23:11:18 +0100
committerDaniel Woffinden2015-06-08 23:11:18 +0100
commitacc3b571c344f2e84f19e960825f51d8be71d73b (patch)
tree08a63a26fa8caf4bbdc8cc0d9ab14f68ecfbf63c /.SRCINFO
downloadaur-acc3b571c344f2e84f19e960825f51d8be71d73b.tar.gz
Squash history to appease the aur4 hooks.
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO20
1 files changed, 20 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 00000000000..98655c1b112
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,20 @@
+pkgbase = z3-git
+ pkgdesc = Z3 is a high-performance theorem prover being developed at Microsoft Research
+ pkgver = 4.4.0.r0.g7f6ef0b
+ pkgrel = 1
+ url = https://github.com/Z3Prover/z3
+ arch = i686
+ arch = x86_64
+ license = MIT
+ makedepends = git
+ makedepends = python2
+ depends = gcc-libs
+ optdepends = python2: bindings for python2
+ provides = z3
+ conflicts = z3-bin
+ conflicts = z3-codeplex
+ source = z3-git::git+https://github.com/Z3Prover/z3
+ md5sums = SKIP
+
+pkgname = z3-git
+