summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorDaniel Woffinden2020-12-08 21:14:12 +0000
committerDaniel Woffinden2020-12-08 21:14:12 +0000
commitbd81516c0d143fe0ca792d0fe064114563d0e2a2 (patch)
tree0d1f6be8a5b1fba82d72453c949498a90fa3137c
parent103012be2d3ea62d6e05477d850778fa23797348 (diff)
downloadaur-bd81516c0d143fe0ca792d0fe064114563d0e2a2.tar.gz
Add python-z3 to provides/conflicts
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD4
2 files changed, 4 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index c43d63da288..f5bc46d5250 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -11,9 +11,11 @@ pkgbase = z3-git
depends = gcc-libs
optdepends = python: bindings for python
provides = z3
+ provides = python-z3
conflicts = z3
conflicts = z3-bin
conflicts = z3-codeplex
+ conflicts = python-z3
source = z3-git::git+https://github.com/Z3Prover/z3
md5sums = SKIP
diff --git a/PKGBUILD b/PKGBUILD
index 2d97f83ad52..e0397545851 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -9,8 +9,8 @@ license=('MIT')
depends=('gcc-libs')
makedepends=('git' 'python')
optdepends=('python: bindings for python')
-conflicts=('z3' 'z3-bin' 'z3-codeplex')
-provides=('z3')
+conflicts=('z3' 'z3-bin' 'z3-codeplex' 'python-z3')
+provides=('z3' 'python-z3')
source=("$pkgname"::"git+$url")
md5sums=('SKIP')