diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..67bd979762b1 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,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 + |