summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorJohn Darrington <jmd@gnu.org>2017-02-17 18:24:35 +0100
committerJohn Darrington <jmd@gnu.org>2017-02-17 18:33:24 +0100
commit193abc823287096fa9e97f3010af4e36fd58b863 (patch)
tree77012a749fa754a9d1418503da2a7e1434f2a0c7 /gnu
parent4f4bca0f1029fd46acab4f03bcc7cfd552f0e9ee (diff)
gnu: Add aris.
* gnu/packages/maths.scm(aris): New variable.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/maths.scm21
1 files changed, 21 insertions, 0 deletions
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")