tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-29 05:30:32 +02:00
Code Activity
Files
1cd5f1776da210b1d2dc0594de3597881d0e0231
guix/gnu/packages/idris.scm
Peter Mikkelsen 178670c9eb gnu: idris: Fix idris-default-arguments. 
* gnu/packages/idris.scm (idris-default-arguments): Don't set IDRIS_LIBRARY_PATH before
building and change --install to --build.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2017-04-15 19:46:40 +02:00

11 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink