From mboxrd@z Thu Jan 1 00:00:00 1970 From: John Darrington Subject: [PATCH] gnu: aris: New function Date: Tue, 20 May 2014 13:58:08 +0200 Message-ID: <1400587089-3857-1-git-send-email-jmd@gnu.org> Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:55870) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Wmigk-0003v6-CV for guix-devel@gnu.org; Tue, 20 May 2014 07:58:39 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Wmige-0005kB-KO for guix-devel@gnu.org; Tue, 20 May 2014 07:58:34 -0400 List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: guix-devel@gnu.org Cc: John Darrington * gnu/packages/maths.scm (aris): New package --- gnu/packages/maths.scm | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 49fdace..db77fc2 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -589,3 +589,30 @@ library routines perform an LU decomposition with partial pivoting and triangular system solves through forward and back substitution. The library also provides threshold-based ILU factorization preconditioners.") (license license:bsd-3))) + +(define-public aris + (package + (name "aris") + (version "2.2") + (source + (origin + (method url-fetch) + (uri (string-append "mirror://gnu/aris/aris-" version ".tar.bz2")) + (sha256 + (base32 + "0ywfdqnqxabk2293g4ahyh20jr5sw6ac14najdw99z5qm919px7f")))) + (build-system gnu-build-system) + (inputs + `(("gtk+" ,gtk+) + ("libxml2" ,libxml2))) + (native-inputs + `(("pkg-config" ,pkg-config))) + (home-page "http://www.gnu.org/software/aris/") + (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+))) -- 1.7.10.4