diff options
| author | Daniel Woffinden | 2016-05-23 22:06:52 +0100 |
|---|---|---|
| committer | Daniel Woffinden | 2016-05-23 22:06:52 +0100 |
| commit | 9e968c29e2f78de8d84d79214bc4cd7242663b38 (patch) | |
| tree | 35d7e94ee38a91965ec241e78f90d9ca455d2f63 | |
| parent | 2a570ef83307d1af8d05237af59f8620df522a83 (diff) | |
| download | aur-9e968c29e2f78de8d84d79214bc4cd7242663b38.tar.gz | |
update .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 |