blob: b97f4c78ba9b9c8c3870135f1a33c2b6030df5cc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
# Generated by mksrcinfo v8
# Mon Feb 15 16:09:16 UTC 2016
pkgbase = yices-bin
pkgdesc = An automatic theorem prover - download release binary
pkgver = 2.4.2
pkgrel = 1
url = http://yices.csl.sri.com/
arch = i686
arch = x86_64
license = custom
provides = yices
conflicts = yices
source = http://yices.csl.sri.com/cgi-bin/yices2-newnewdownload.cgi?file=yices-2.4.2--unknown-linux-gnu-static-gmp.tar.gz&accept=I+Agree
sha512sums = d9bf0cc20091e165db59ac97923e93e5137e21e88414b006a7569ffd5c4351ed55cbebcc7670f6df509ef2eb1824ec5fd77ec0a7ba798aa31ffc1ea621242351
pkgname = yices-bin
|