Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-10-11 20:43:51 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions
slackbuilds_ponce/academic/aris/aris.info

11 lines
279 B
Text
Raw Normal View History

academic/aris: Added (sequential proof program) Signed-off-by: dsomero <xgizzmo@slackbuilds.org>
2013-03-12 02:13:19 +01:00
PRGNAM="aris"
academic/aris: Updated for version 2.1.1. Signed-off-by: Willy Sudiarto Raharjo <willysr@slackware-id.org> Signed-off-by: Robby Workman <rworkman@slackbuilds.org>
2013-11-04 18:29:16 +01:00
VERSION="2.1.1"
academic/aris: Added (sequential proof program) Signed-off-by: dsomero <xgizzmo@slackbuilds.org>
2013-03-12 02:13:19 +01:00
HOMEPAGE="http://www.gnu.org/software/aris/"
academic/aris: Updated for version 2.1.1. Signed-off-by: Willy Sudiarto Raharjo <willysr@slackware-id.org> Signed-off-by: Robby Workman <rworkman@slackbuilds.org>
2013-11-04 18:29:16 +01:00
DOWNLOAD="http://ftp.gnu.org/gnu/aris/aris-2.1.1.tar.bz2"
MD5SUM="ef1b8f3be8edac44305e36493068f745"
academic/aris: Added (sequential proof program) Signed-off-by: dsomero <xgizzmo@slackbuilds.org>
2013-03-12 02:13:19 +01:00
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES=""
MAINTAINER="Juan M. Lasca"
EMAIL="juanmlasca@gmail.com"
Reference in a new issue Copy permalink