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"