[Gsrc-commit] /srv/bzr/gsrc/trunk r882: add aris at 1.8

[Brandon Invergo]

------------------------------------------------------------
revno: 882
committer: Brandon Invergo <address@hidden>
branch nick: trunk
timestamp: Thu 2012-08-30 22:25:07 +0200
message:
  add aris at 1.8
added:
  gnu/aris/
  gnu/aris/Makefile
  gnu/aris/sha256sums

=== added directory 'gnu/aris'
=== added file 'gnu/aris/Makefile'
--- a/gnu/aris/Makefile 1970-01-01 00:00:00 +0000
+++ b/gnu/aris/Makefile 2012-08-30 20:25:07 +0000
@@ -0,0 +1,16 @@
+GARNAME = aris
+GARVERSION = 1.8
+
+MASTER_SITES = $(MASTER_GNU)
+MASTER_SUBDIR = aris/
+
+DISTFILES = $(DISTNAME).tar.gz
+SIGFILES = $(DISTNAME).tar.gz.sig
+
+# BUILDDEPS = 
+# LIBDEPS = 
+
+HOME_URL = http://www.gnu.org/software/aris
+DESCRIPTION = A logical proof program
+
+include ../../gar.lib/auto.mk

=== added file 'gnu/aris/sha256sums'
--- a/gnu/aris/sha256sums       1970-01-01 00:00:00 +0000
+++ b/gnu/aris/sha256sums       2012-08-30 20:25:07 +0000
@@ -0,0 +1,2 @@
+defcf8a9f33e3620554bb89fb103252b790db94fafba643d89ccec5244684b9f  
download/aris-1.8.tar.gz
+3456720baa96aa29259444024354b88eedfaba06e2b33680f8709630bb954714  
download/aris-1.8.tar.gz.sig