01/01: gnu: Add aris.

[John Darrington]

jmd pushed a commit to branch master
in repository guix.

commit 193abc823287096fa9e97f3010af4e36fd58b863
Author: John Darrington <address@hidden>
Date:   Fri Feb 17 18:24:35 2017 +0100

    gnu: Add aris.
    
    * gnu/packages/maths.scm(aris): New variable.
---
 gnu/packages/maths.scm | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 43b0d0a..029a241 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -93,6 +93,27 @@
   #:use-module (gnu packages zip)
   #:use-module (srfi srfi-1))
 
+(define-public aris
+  (package
+   (name "aris")
+   (version "2.2")
+   (source (origin
+            (method url-fetch)
+            (uri (string-append "mirror://gnu/" name "/" name "-" version 
".tar.gz"))
+            (sha256 (base32
+                     "1hlvpzrh7hzzf533diyfiabzskddi8zx92av9hwkjw3l46z7qv01"))))
+   (build-system gnu-build-system)
+   (inputs `(("gtk+" ,gtk+)
+             ("libxml2" ,libxml2)))
+   (native-inputs `(("pkg-config" ,pkg-config)))
+   (synopsis "Logical proof program")
+   (description
+    "Aris is a logical proof program, and supports propositional and predicate
+logic, Boolean algebra, and arithmetical logic in the form of abstract
+sequences (seqlog).")
+   (license license:gpl3+)
+   (home-page "http://www.gnu.org/software/aris/";)))
+
 (define-public c-graph
   (package
    (name "c-graph")