mirror of
https://github.com/archlinuxarm/PKGBUILDs.git
synced 2024-11-08 22:45:43 +00:00
extra/z3 to 4.13.0-2
This commit is contained in:
parent
bb7ff934eb
commit
86a8f81458
2 changed files with 2 additions and 2 deletions
|
@ -1,7 +1,7 @@
|
||||||
pkgbase = z3
|
pkgbase = z3
|
||||||
pkgdesc = High-performance theorem prover
|
pkgdesc = High-performance theorem prover
|
||||||
pkgver = 4.13.0
|
pkgver = 4.13.0
|
||||||
pkgrel = 1
|
pkgrel = 2
|
||||||
url = https://github.com/Z3Prover/z3
|
url = https://github.com/Z3Prover/z3
|
||||||
arch = x86_64
|
arch = x86_64
|
||||||
license = MIT
|
license = MIT
|
||||||
|
|
|
@ -9,7 +9,7 @@ pkgbase=z3
|
||||||
pkgname=('z3' 'python-z3-solver')
|
pkgname=('z3' 'python-z3-solver')
|
||||||
pkgver=4.13.0
|
pkgver=4.13.0
|
||||||
_commit=3049f578a8f98a0b0992eca193afe57a73b30ca3
|
_commit=3049f578a8f98a0b0992eca193afe57a73b30ca3
|
||||||
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')
|
||||||
|
|
Loading…
Reference in a new issue