mirror of
https://github.com/archlinuxarm/PKGBUILDs.git
synced 2025-03-09 00:17:31 +00:00
extra/z3 to 4.13.0-1
This commit is contained in:
parent
940158a667
commit
a8aaa6ae4d
2 changed files with 4 additions and 4 deletions
|
@ -1,6 +1,6 @@
|
|||
pkgbase = z3
|
||||
pkgdesc = High-performance theorem prover
|
||||
pkgver = 4.12.5
|
||||
pkgver = 4.13.0
|
||||
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=a7b564cafe3b96c8a868388bc4b96b319facea44
|
||||
source = git+https://github.com/Z3Prover/z3.git#commit=3049f578a8f98a0b0992eca193afe57a73b30ca3
|
||||
sha512sums = SKIP
|
||||
b2sums = SKIP
|
||||
|
||||
|
|
|
@ -7,8 +7,8 @@
|
|||
|
||||
pkgbase=z3
|
||||
pkgname=('z3' 'python-z3-solver')
|
||||
pkgver=4.12.5
|
||||
_commit=a7b564cafe3b96c8a868388bc4b96b319facea44
|
||||
pkgver=4.13.0
|
||||
_commit=3049f578a8f98a0b0992eca193afe57a73b30ca3
|
||||
pkgrel=1
|
||||
pkgdesc='High-performance theorem prover'
|
||||
url='https://github.com/Z3Prover/z3'
|
||||
|
|
Loading…
Reference in a new issue