PKGBUILDs/extra/z3/.SRCINFO

34 lines
757 B
Text
Raw Normal View History

2023-12-24 16:03:59 +00:00
pkgbase = z3
pkgdesc = High-performance theorem prover
2024-01-27 01:00:26 +00:00
pkgver = 4.12.5
2023-12-24 16:03:59 +00:00
pkgrel = 1
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-01-27 01:00:26 +00:00
source = git+https://github.com/Z3Prover/z3.git#commit=a7b564cafe3b96c8a868388bc4b96b319facea44
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