blob: ab4f36e9532016ef7ac254d899c846e6cdf3580f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
# Generated by mksrcinfo v8
# Sun Nov 20 05:14:50 UTC 2016
pkgbase = z3-bin
pkgdesc = An automatic theorem prover
pkgver = 4.5.0
pkgrel = 1
url = http://research.microsoft.com/en-us/um/redmond/projects/z3
arch = i686
arch = x86_64
license = MIT
source = https://github.com/Z3Prover/z3/releases/download/z3-4.5.0/z3-4.5.0-x86-ubuntu-14.04.zip
md5sums = 243d48eb4c3531f323056040b94459ad
pkgname = z3-bin
|