blob: 2647de381fa061fe0a1233780470c88e267f2fbf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
# Generated by mksrcinfo v8
# Wed Oct 5 17:29:14 UTC 2016
pkgbase = yices-bin
pkgdesc = An automatic theorem prover - download release binary
pkgver = 2.5.1
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.5.1--unknown-linux-gnu-static-gmp.tar.gz&accept=I+Agree
sha512sums = 806c75ba85e06cc761d2d19bb0ce2a6727d6a3240a53b0fb4f3e2f3bf17c176def551166a39b75fc423451647454922492ebb8dddac27b76155c90ce1c53cd96
pkgname = yices-bin
|