summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO4
1 files changed, 2 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 4f95aa934d81..9912d3a81e40 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