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.master
parent
193abc8232
commit
1f45f18abe
|
@ -95,24 +95,26 @@
|
||||||
|
|
||||||
(define-public aris
|
(define-public aris
|
||||||
(package
|
(package
|
||||||
(name "aris")
|
(name "aris")
|
||||||
(version "2.2")
|
(version "2.2")
|
||||||
(source (origin
|
(source (origin
|
||||||
(method url-fetch)
|
(method url-fetch)
|
||||||
(uri (string-append "mirror://gnu/" name "/" name "-" version ".tar.gz"))
|
(uri (string-append "mirror://gnu/" name "/" name "-" version ".tar.gz"))
|
||||||
(sha256 (base32
|
(sha256 (base32
|
||||||
"1hlvpzrh7hzzf533diyfiabzskddi8zx92av9hwkjw3l46z7qv01"))))
|
"1q1887ryqdr9sn0522hc7p16kqwlxxyz5dkmma8ar2nxplhgll7q"))))
|
||||||
(build-system gnu-build-system)
|
(build-system gnu-build-system)
|
||||||
(inputs `(("gtk+" ,gtk+)
|
(inputs `(("gtk+" ,gtk+)
|
||||||
("libxml2" ,libxml2)))
|
("libxml2" ,libxml2)))
|
||||||
(native-inputs `(("pkg-config" ,pkg-config)))
|
(native-inputs `(("pkg-config" ,pkg-config)))
|
||||||
(synopsis "Logical proof program")
|
(synopsis "Natural deduction first-order logic interface")
|
||||||
(description
|
(description "Aris is a program for performing logical proofs. It supports
|
||||||
"Aris is a logical proof program, and supports propositional and predicate
|
propositional and predicate logic, as well as Boolean algebra and
|
||||||
logic, Boolean algebra, and arithmetical logic in the form of abstract
|
arithmetical logic. In addition to its predefined inference and equivalence
|
||||||
sequences (seqlog).")
|
rules, Aris also supports references to older proofs. Its use of standard
|
||||||
(license license:gpl3+)
|
logical symbols and its natural deduction interface make it easy to use for
|
||||||
(home-page "http://www.gnu.org/software/aris/")))
|
beginners.")
|
||||||
|
(license license:gpl3+)
|
||||||
|
(home-page "http://www.gnu.org/software/aris/")))
|
||||||
|
|
||||||
(define-public c-graph
|
(define-public c-graph
|
||||||
(package
|
(package
|
||||||
|
|
Loading…
Reference in New Issue