archlinuxarm/PKGBUILDs
1
0
Fork 0
mirror of https://github.com/archlinuxarm/PKGBUILDs.git synced 2024-11-08 22:45:43 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

extra/z3 to 4.12.5-1

Browse source
This commit is contained in:
Kevin Mihelich 2024-01-27 01:00:26 +00:00
parent 8d3e3a8112
commit 8f9d555a4a
2 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
extra/z3/.SRCINFO
View file

@ -1,6 +1,6 @@
pkgbase = z3
pkgdesc = High-performance theorem prover
pkgver = 4.12.4
pkgver = 4.12.5
pkgrel = 1
url = https://github.com/Z3Prover/z3
arch = x86_64
@ -15,7 +15,7 @@ pkgbase = z3
makedepends = python-build
makedepends = python-installer
makedepends = python-wheel
source = git+https://github.com/Z3Prover/z3.git#commit=dce2f3d88ff7b8671bd5d843f4f3f353e7089a45
source = git+https://github.com/Z3Prover/z3.git#commit=a7b564cafe3b96c8a868388bc4b96b319facea44
sha512sums = SKIP
b2sums = SKIP

4
extra/z3/PKGBUILD
View file

@ -7,8 +7,8 @@
pkgbase=z3
pkgname=('z3' 'python-z3-solver')
pkgver=4.12.4
_commit=dce2f3d88ff7b8671bd5d843f4f3f353e7089a45
pkgver=4.12.5
_commit=a7b564cafe3b96c8a868388bc4b96b319facea44
pkgrel=1
pkgdesc='High-performance theorem prover'
url='https://github.com/Z3Prover/z3'