mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-26 22:06:35 +01:00
8323de654b
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
10 lines
298 B
Text
10 lines
298 B
Text
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"
|