diff options
| author | Manuel Wiesinger | 2024-05-14 18:16:12 +0100 |
|---|---|---|
| committer | Manuel Wiesinger | 2024-05-14 18:16:12 +0100 |
| commit | fcc61dd205d3fbe916242e07503dddbc4d5cfbf4 (patch) | |
| tree | 71601b55e2d357bea7b9ee17e02f1cf6144c3964 | |
| parent | 7be4d27198eaee89db1da39bcb09699f79939f33 (diff) | |
| download | aur-fcc61dd205d3fbe916242e07503dddbc4d5cfbf4.tar.gz | |
Python 3.12 bump, remove provide Python binding
| -rw-r--r-- | .SRCINFO | 5 | ||||
| -rw-r--r-- | PKGBUILD | 3 |
2 files changed, 3 insertions, 5 deletions
@@ -1,6 +1,6 @@ pkgbase = bitwuzla-git pkgdesc = SMT solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations - pkgver = 0.4.0.r33.g72cad5f + pkgver = 0.4.0.r51.g31330f2 pkgrel = 1 url = https://bitwuzla.github.io arch = x86_64 @@ -28,8 +28,7 @@ pkgbase = bitwuzla-git depends = kissat optdepends = cryptominisat5: Support for the CryptoMiniSat SAT solver optdepends = python>=3.7: Python bindings - provides = bitwuzla=0.4.0.r33.g72cad5f - provides = bitwuzla.cpython-311-x86_64-linux-gnu.so + provides = bitwuzla=0.4.0.r51.g31330f2 provides = libbitwuzlabv.so provides = libbitwuzlabb.so provides = libbitwuzlals.so @@ -2,7 +2,7 @@ _pkgname=('bitwuzla') pkgname=("${_pkgname}-git") -pkgver=0.4.0.r33.g72cad5f +pkgver=0.4.0.r51.g31330f2 pkgrel=1 pkgdesc='SMT solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations' arch=('x86_64') @@ -37,7 +37,6 @@ optdepends=( ) provides=( "${_pkgname}=$pkgver" - 'bitwuzla.cpython-311-x86_64-linux-gnu.so' 'libbitwuzlabv.so' 'libbitwuzlabb.so' 'libbitwuzlals.so' |