2023-12-24 16:03:59 +00:00
|
|
|
pkgbase = z3
|
|
|
|
|
pkgdesc = High-performance theorem prover
|
2024-03-09 21:28:25 +00:00
|
|
|
pkgver = 4.13.0
|
2024-04-27 16:15:48 +00:00
|
|
|
pkgrel = 2
|
2023-12-24 16:03:59 +00:00
|
|
|
url = https://github.com/Z3Prover/z3
|
|
|
|
|
arch = x86_64
|
|
|
|
|
license = MIT
|
|
|
|
|
makedepends = git
|
|
|
|
|
makedepends = glibc
|
|
|
|
|
makedepends = cmake
|
|
|
|
|
makedepends = ninja
|
|
|
|
|
makedepends = python
|
|
|
|
|
makedepends = python-setuptools
|
|
|
|
|
makedepends = gcc-libs
|
|
|
|
|
makedepends = python-build
|
|
|
|
|
makedepends = python-installer
|
|
|
|
|
makedepends = python-wheel
|
2024-03-09 21:28:25 +00:00
|
|
|
source = git+https://github.com/Z3Prover/z3.git#commit=3049f578a8f98a0b0992eca193afe57a73b30ca3
|
2023-12-24 16:03:59 +00:00
|
|
|
sha512sums = SKIP
|
|
|
|
|
b2sums = SKIP
|
|
|
|
|
|
|
|
|
|
pkgname = z3
|
|
|
|
|
depends = glibc
|
|
|
|
|
depends = gcc-libs
|
|
|
|
|
provides = libz3
|
|
|
|
|
provides = libz3.so
|
|
|
|
|
|
|
|
|
|
pkgname = python-z3-solver
|
|
|
|
|
depends = python
|
|
|
|
|
depends = python-setuptools
|
|
|
|
|
depends = z3
|
|
|
|
|
conflicts = python-z3
|
|
|
|
|
replaces = python-z3
|
