diff options
Diffstat (limited to 'academic/yices2/yices2.info')
| -rw-r--r-- | academic/yices2/yices2.info | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/academic/yices2/yices2.info b/academic/yices2/yices2.info new file mode 100644 index 0000000000..2811b191e2 --- /dev/null +++ b/academic/yices2/yices2.info @@ -0,0 +1,10 @@ +PRGNAM="yices2" +VERSION="2.6.4" +HOMEPAGE="https://yices.csl.sri.com" +DOWNLOAD="https://yices.csl.sri.com/releases/2.6.4/yices-2.6.4-src.tar.gz" +MD5SUM="6863fb6c44345e4b72490d16a7ee9f27" +DOWNLOAD_x86_64="" +MD5SUM_x86_64="" +REQUIRES="" +MAINTAINER="William PC" +EMAIL="w_calandrini[at]hotmail[dot]com" |