[Gsrc-commit] trunk r2505: update aris to 2.1.1

[Brandon Invergo]

------------------------------------------------------------
revno: 2505
revision-id: address@hidden
parent: address@hidden
committer: Brandon Invergo <address@hidden>
branch nick: trunk
timestamp: Sun 2013-09-15 00:42:22 +0200
message:
  update aris to 2.1.1
modified:
  gnu/aris/Makefile              makefile-20120830202457-6p8wpda70053h877-2
  gnu/aris/sha256sums            sha256sums-20120830202457-6p8wpda70053h877-3

=== modified file 'gnu/aris/Makefile'
--- a/gnu/aris/Makefile 2013-08-31 12:37:22 +0000
+++ b/gnu/aris/Makefile 2013-09-14 22:42:22 +0000
@@ -17,7 +17,7 @@
 
 NAME = Aris
 GARNAME = aris
-GARVERSION = 2.1
+GARVERSION = 2.1.1
 HOME_URL = http://www.gnu.org/software/aris/
 DESCRIPTION = Natural deduction first-order logic interface
 define BLURB

=== modified file 'gnu/aris/sha256sums'
--- a/gnu/aris/sha256sums       2013-08-31 12:37:22 +0000
+++ b/gnu/aris/sha256sums       2013-09-14 22:42:22 +0000
@@ -1,2 +1,2 @@
-c9acf1bd8b005c26f8289d8ff62f0116041e3bb439f6ec50a9570d49c595309c  
download/aris-2.1.tar.gz
-3d9a0d416a42809bc9c0aa5d0ef29150662c66f7fde079e52936411e781f8f56  
download/aris-2.1.tar.gz.sig
+f6ea28d9eae9686f922f85cff4e1e63a9998dc2d7535da40c86d28906065768b  
download/aris-2.1.1.tar.gz
+62e49b93b91b5e3ae341ea4ce48c973c9ecb583d1e3ad9f8ebd2e7ec885c2b0d  
download/aris-2.1.1.tar.gz.sig