blob: 67bd979762b1825ac46075a9700413b808b947b6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
pkgbase = yices
pkgdesc = An automatic theorem prover
pkgver = 2.4.1
pkgrel = 1
url = http://yices.csl.sri.com/
arch = i686
arch = x86_64
license = custom
conflicts = yices-bin
source = http://yices.csl.sri.com/cgi-bin/yices2-newnewdownload.cgi?file=yices-2.4.1-src.tar.gz&accept=I+Agree
sha512sums = 0398535a4bf8940cf10ed78873fffa6f177e6e20fcdffd5efea7ab40775efba0577951e63c42df6a28f7dae41c2ac9d970fd80bd8c0fe3286af7427068cd92be
pkgname = yices
|