diff options
| author | John Darrington <jmd@gnu.org> | 2017-02-17 18:24:35 +0100 |
|---|---|---|
| committer | John Darrington <jmd@gnu.org> | 2017-02-17 18:33:24 +0100 |
| commit | 193abc823287096fa9e97f3010af4e36fd58b863 (patch) | |
| tree | 77012a749fa754a9d1418503da2a7e1434f2a0c7 /gnu | |
| parent | 4f4bca0f1029fd46acab4f03bcc7cfd552f0e9ee (diff) | |
gnu: Add aris.
* gnu/packages/maths.scm(aris): New variable.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/maths.scm | 21 |
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") |