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

community/z3 to 4.8.15-1

Browse source
This commit is contained in:
Kevin Mihelich 2022-04-21 01:09:57 +00:00
parent 6d865dd191
commit 62c3756e68
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,7 +7,7 @@
pkgbase=z3 pkgbase=z3
pkgname=('z3' 'python-z3') pkgname=('z3' 'python-z3')
pkgver=4.8.14 pkgver=4.8.15
pkgrel=1 pkgrel=1
pkgdesc='High-performance theorem prover' pkgdesc='High-performance theorem prover'
url='https://github.com/Z3Prover/z3' url='https://github.com/Z3Prover/z3'
@ -16,7 +16,7 @@ license=('MIT')
# 'java-environment-common' 'mono' 'ocaml' 'ocaml-findlib' # 'java-environment-common' 'mono' 'ocaml' 'ocaml-findlib'
makedepends=('cmake' 'ninja' 'python' 'python-setuptools' 'gcc-libs') makedepends=('cmake' 'ninja' 'python' 'python-setuptools' 'gcc-libs')
source=(https://github.com/Z3Prover/z3/archive/z3-$pkgver.tar.gz) source=(https://github.com/Z3Prover/z3/archive/z3-$pkgver.tar.gz)
sha512sums=('10170516ca472258d2f9df28cd036e43023a76a25f1e1670290c62f3890d935bf82770970054a5fd3a0f02559409e7ed4b18fb08347c040ff2f9e0918e152aab') sha512sums=('7b08dec5b035a38edc90c4c491f508fd9ed227357de94400169db53d4c59382bd6a81ae6615771023a06534a3aa92668844f0ebfcc2a3b5ef4bba957426a0c6c')
prepare() { prepare() {
cd $pkgbase-z3-$pkgver cd $pkgbase-z3-$pkgver