From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andreas Enge Subject: New package: FPLLL Date: Tue, 11 Dec 2012 23:23:53 +0100 Message-ID: <201212112323.53992.andreas@enge.fr> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="Boundary-01=_5J7xQZ/azRJLRXF" Content-Transfer-Encoding: 7bit Return-path: Received: from eggs.gnu.org ([208.118.235.92]:41368) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TiYF9-0005d4-VV for bug-guix@gnu.org; Tue, 11 Dec 2012 17:24:08 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1TiYF6-0007j0-OL for bug-guix@gnu.org; Tue, 11 Dec 2012 17:24:03 -0500 Received: from moutng.kundenserver.de ([212.227.17.8]:51271) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TiYF6-0007im-E4 for bug-guix@gnu.org; Tue, 11 Dec 2012 17:24:00 -0500 List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org To: bug-guix@gnu.org --Boundary-01=_5J7xQZ/azRJLRXF Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Here is a recipe: (define-public fplll (package (name "fplll") (version "4.0.1") (source (origin (method url-fetch) (uri (string-append "http://perso.ens-lyon.fr/damien.stehle/fplll/libfplll-" version ".tar.gz")) (sha256 (base32 "122bpqdlikshhd7nmq0l5qfc0agyk7x21gvplv1l9hb77l8cy9rw")))) (build-system gnu-build-system) (inputs `(("gmp" ,gmp) ("mpfr" ,mpfr))) (synopsis "fplll, a library for LLL-reduction of euclidean lattices") (description "fplll LLL-reduces euclidean lattices. Since version 3, it can also solve the shortest vector problem.") (license "LGPLv2.1") (home-page "http://perso.ens-lyon.fr/damien.stehle/fplll/"))) It could go into multiprecision.scm, or get its own file. Andreas --Boundary-01=_5J7xQZ/azRJLRXF Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: 7bit

Here is a recipe:

 

(define-public fplll

(package

(name "fplll")

(version "4.0.1")

(source (origin

(method url-fetch)

(uri (string-append

"http://perso.ens-lyon.fr/damien.stehle/fplll/libfplll-" version ".tar.gz"))

(sha256 (base32

"122bpqdlikshhd7nmq0l5qfc0agyk7x21gvplv1l9hb77l8cy9rw"))))

(build-system gnu-build-system)

(inputs `(("gmp" ,gmp)

("mpfr" ,mpfr)))

(synopsis "fplll, a library for LLL-reduction of euclidean lattices")

(description

"fplll LLL-reduces euclidean lattices. Since version 3, it can also solve the shortest vector problem.")

(license "LGPLv2.1")

(home-page "http://perso.ens-lyon.fr/damien.stehle/fplll/")))

 

It could go into multiprecision.scm, or get its own file.

 

Andreas

 

--Boundary-01=_5J7xQZ/azRJLRXF--