diff options
| author | Juan M. Lasca <juanmlasca@gmail.com> | 2013-03-11 21:13:19 -0400 |
|---|---|---|
| committer | dsomero <xgizzmo@slackbuilds.org> | 2013-03-22 07:16:40 -0400 |
| commit | 17ef36e40eb0d9183fcd7a29e9ddda3d1a96950a (patch) | |
| tree | 2298a88258830f60812a9814568c8563e4bea06d /academic/aris/aris.info | |
| parent | d30c249588095443f15225c70d35f8099efff699 (diff) | |
| download | slackbuilds-17ef36e40eb0d9183fcd7a29e9ddda3d1a96950a.tar.gz | |
academic/aris: Added (sequential proof program)
Signed-off-by: dsomero <xgizzmo@slackbuilds.org>
Diffstat (limited to 'academic/aris/aris.info')
| -rw-r--r-- | academic/aris/aris.info | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/academic/aris/aris.info b/academic/aris/aris.info new file mode 100644 index 0000000000..d618e540cf --- /dev/null +++ b/academic/aris/aris.info @@ -0,0 +1,10 @@ +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" |