Skip to content
Snippets Groups Projects
Commit 97a08f92 authored by omni's avatar omni Committed by Leo
Browse files

community/z3: enable on aarch64 & s390x

parent 5dce71e6
1 merge request!19857community/cppcheck: upgrade to 2.4.1
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
community/z3/APKBUILD
+ 2
− 2
View file @ 97a08f92
...@@ -2,10 +2,10 @@ ...@@ -2,10 +2,10 @@
# Maintainer: Sören Tempel <soeren+alpine@soeren-tempel.net> # Maintainer: Sören Tempel <soeren+alpine@soeren-tempel.net>
pkgname=z3 pkgname=z3
pkgver=4.8.10 pkgver=4.8.10
pkgrel=0 pkgrel=1
pkgdesc="Theorem prover from Microsoft Research" pkgdesc="Theorem prover from Microsoft Research"
url="https://github.com/Z3Prover/z3" url="https://github.com/Z3Prover/z3"
arch="all !s390x !aarch64 !mips !mips64" arch="all !mips !mips64"
license="MIT" license="MIT"
makedepends="cmake python3" makedepends="cmake python3"
subpackages="$pkgname-dev py3-$pkgname:py3:noarch" subpackages="$pkgname-dev py3-$pkgname:py3:noarch"
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment