archlinuxarm/PKGBUILDs
1
0
Fork 0
mirror of https://github.com/archlinuxarm/PKGBUILDs.git synced 2025-01-27 23:44:04 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

community/z3 to 4.12.1-2

Browse source
This commit is contained in:
Kevin Mihelich 2023-05-03 19:13:10 +00:00
parent 9c7b0353e9
commit c180d51e0d
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
community/z3/PKGBUILD
View file

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