blob: cc449666bf10e1acbd0553ccde9dafc8ebb001f5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
pkgbase = python2-z3
pkgdesc = High-performance theorem prover
pkgver = 4.8.5
pkgrel = 1
url = https://github.com/Z3Prover/z3
arch = x86_64
license = MIT
makedepends = cmake
makedepends = python2
makedepends = python2-setuptools
makedepends = gcc-libs
makedepends = gmp
makedepends = ninja
depends = python2
depends = libz3
source = https://github.com/Z3Prover/z3/archive/Z3-4.8.5.tar.gz
sha512sums = ca36e1a0332bd473a64f41dfdb31656fb3486178473e4fd4934dccce109a84c9686c08f94998df74bacb588eb12ea5db25dc17a564ee76f82fd2559349697309
pkgname = python2-z3
|