blob: 01200fdb0ce8b3cf215aee5ceb01adb94586e167 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
# Generated by mksrcinfo v8
# Sun Nov 5 21:55:46 UTC 2017
pkgbase = yices-bin
pkgdesc = An automatic theorem prover - download release binary
pkgver = 2.5.4
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/releases/2.5.4/yices-2.5.4-x86_64-pc-linux-gnu-static-gmp.tar.gz
sha512sums = be17ce09f24ee7ff4e8d795d8ff9916a1d6c4506331ad184908e85485a92f3ef1890bd9c95126dbccd07e39e5c02318980815497725afe2692358859ec68cdd1
pkgname = yices-bin
|