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

community/z3 to 4.12.1-1

Browse source
This commit is contained in:
Kevin Mihelich 2023-02-23 19:56:39 +00:00
parent 40d72a77fe
commit e68c8c3e84
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
community/z3/PKGBUILD
View file

@ -7,8 +7,8 @@
pkgbase=z3
pkgname=('z3' 'python-z3-solver')
pkgver=4.12.0
_commit=feda706d0dda2539176246dd221328122c66f77d
pkgver=4.12.1
_commit=3012293c35eadbfd73e5b94adbe50b0cc44ffb83
pkgrel=1
pkgdesc='High-performance theorem prover'
url='https://github.com/Z3Prover/z3'