aboutsummaryrefslogtreecommitdiff
path: root/academic/yices2/yices2.info
blob: 2811b191e2fd2268e58433dadb4d1d893f4e6387 (plain)
1
2
3
4
5
6
7
8
9
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"