summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO7
-rw-r--r--PKGBUILD6
2 files changed, 6 insertions, 7 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 21788623e265..ad7d194eb5e0 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,17 +1,16 @@
# Generated by mksrcinfo v8
-# Sun Nov 20 05:21:18 UTC 2016
+# Sun Nov 20 05:22:00 UTC 2016
pkgbase = z3-bin
pkgdesc = An automatic high-performance theorem prover
pkgver = 4.5.0
- pkgrel = 1
+ pkgrel = 2
url = http://research.microsoft.com/en-us/um/redmond/projects/z3
arch = i686
arch = x86_64
license = MIT
- makedepends = git
makedepends = python
depends = gcc-libs
- optdepends = python: bindings for python
+ optdepends = python: Z3 bindings for python
provides = z3
conflicts = z3
conflicts = z3-git
diff --git a/PKGBUILD b/PKGBUILD
index 913e4e26a3c5..9d98232c948c 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,7 +3,7 @@
pkgname=z3-bin
pkgver=4.5.0
-pkgrel=1
+pkgrel=2
pkgdesc="An automatic high-performance theorem prover"
arch=(i686 x86_64)
url="http://research.microsoft.com/en-us/um/redmond/projects/z3"
@@ -17,8 +17,8 @@ md5sums=('243d48eb4c3531f323056040b94459ad')
_arch="x64"
}
depends=('gcc-libs')
-makedepends=('git' 'python')
-optdepends=('python: bindings for python')
+makedepends=('python')
+optdepends=('python: Z3 bindings for python')
conflicts=('z3' 'z3-git' 'z3-codeplex')
provides=('z3')