slackbuilds_ponce/academic/aris/aris.info
Juan M. Lasca 17ef36e40e academic/aris: Added (sequential proof program)
Signed-off-by: dsomero <xgizzmo@slackbuilds.org>
2013-03-22 07:16:40 -04:00

10 lines
275 B
Text

PRGNAM="aris"
VERSION="2.0"
HOMEPAGE="http://www.gnu.org/software/aris/"
DOWNLOAD="http://ftp.gnu.org/gnu/aris/aris-2.0.tar.bz2"
MD5SUM="696523a812cbe19223482b8f27d04fc0"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES=""
MAINTAINER="Juan M. Lasca"
EMAIL="juanmlasca@gmail.com"