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(+)

(limited to 'gnu/packages/maths.scm')

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


From 1f45f18abe487be85c290227256690a3f32f7874 Mon Sep 17 00:00:00 2001
From: John Darrington <jmd@gnu.org>
Date: Fri, 17 Feb 2017 18:50:35 +0100
Subject: installer: Aris: update synopis and description.

* gnu/packages/maths.scm (aris): Use the synopsis and description from the
web page instead of the README file.
---
 gnu/packages/maths.scm | 38 ++++++++++++++++++++------------------
 1 file changed, 20 insertions(+), 18 deletions(-)

(limited to 'gnu/packages/maths.scm')

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 029a241cb7..18536c43ee 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -95,24 +95,26 @@
 
 (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/")))
+    (name "aris")
+    (version "2.2")
+    (source (origin
+              (method url-fetch)
+              (uri (string-append "mirror://gnu/" name "/" name "-" version ".tar.gz"))
+              (sha256 (base32
+                       "1q1887ryqdr9sn0522hc7p16kqwlxxyz5dkmma8ar2nxplhgll7q"))))
+    (build-system gnu-build-system)
+    (inputs `(("gtk+" ,gtk+)
+              ("libxml2" ,libxml2)))
+    (native-inputs `(("pkg-config" ,pkg-config)))
+    (synopsis "Natural deduction first-order logic interface")
+    (description "Aris is a program for performing logical proofs.  It supports
+propositional and predicate logic, as well as Boolean algebra and
+arithmetical logic.  In addition to its predefined inference and equivalence
+rules, Aris also supports references to older proofs.  Its use of standard
+logical symbols and its natural deduction interface make it easy to use for
+beginners.")
+    (license license:gpl3+)
+    (home-page "http://www.gnu.org/software/aris/")))
 
 (define-public c-graph
   (package
-- 
cgit v1.2.3