From 193abc823287096fa9e97f3010af4e36fd58b863 Mon Sep 17 00:00:00 2001
From: John Darrington <jmd@gnu.org>
Date: Fri, 17 Feb 2017 18:24:35 +0100
Subject: 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 43b0d0a72a..029a241cb7 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")
-- 
cgit v1.2.3