diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |