Re: List of abbreviations for licenses

2012-12-11 Thread Nikita Karetnikov
WDYT? That's even better. Why did you use trailing whitespaces? Nikita

Re: Error messages and progress report

2012-12-11 Thread Andreas Enge
Am Dienstag, 11. Dezember 2012 schrieb Ludovic Courtès: Anyway, what does work is something like: $ guix-package --profile=$HOME/.guix-profile --install=hello This worked, but in a rather strange way. .guix-profile did not exist yet. It was created as a symbolic link to the new file

[PATCH] Typos in documentation

2012-12-11 Thread Andreas Enge
See attached patch. Andreas --- guix.alt/doc/guix.texi 2012-12-11 21:53:49.0 +0100 +++ guix/doc/guix.texi 2012-12-11 22:20:49.0 +0100 @@ -105,7 +105,7 @@ @cindex package store The result of package build functions is @dfn{cached} in the file system, in a special directory

[PATCH] Release 1.0.1 of GNU MPC

2012-12-11 Thread Andreas Enge
Patch attached. Unfortunately, I could not test it yet, since guix-package starts by building path(s) `/nix/store/9syafc8xvscaywjldyszzgkc8pljwpj6-gcc-cross- boot0-4.7.2' although gcc-4.7.2 (without coss-boot) is already there. How come? The previous mpc release built without problem without

New package: FPLLL

2012-12-11 Thread Andreas Enge
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