summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorDaniel Woffinden2016-05-23 22:06:52 +0100
committerDaniel Woffinden2016-05-23 22:06:52 +0100
commit9e968c29e2f78de8d84d79214bc4cd7242663b38 (patch)
tree35d7e94ee38a91965ec241e78f90d9ca455d2f63
parent2a570ef83307d1af8d05237af59f8620df522a83 (diff)
downloadaur-9e968c29e2f78de8d84d79214bc4cd7242663b38.tar.gz
update .SRCINFO :/
-rw-r--r--.SRCINFO4
1 files changed, 2 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 4f95aa934d8..9912d3a81e4 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -7,9 +7,9 @@ pkgbase = z3-git
arch = x86_64
license = MIT
makedepends = git
- makedepends = python2
+ makedepends = python
depends = gcc-libs
- optdepends = python2: bindings for python2
+ optdepends = python: bindings for python
provides = z3
conflicts = z3
conflicts = z3-bin