diff options
| author | Lars-Dominik Braun <lars@6xq.net> | 2023-02-11 09:48:06 +0100 |
|---|---|---|
| committer | Lars-Dominik Braun <lars@6xq.net> | 2023-02-26 10:26:17 +0100 |
| commit | 2c0537d3741447b02914beb8beab100e3464b181 (patch) | |
| tree | ad34ce3851c0511c639278d3a37af039f58faf58 /gnu/packages/irods.scm | |
| parent | 6188fe26334bb023363e484ffb7729a366c6f1a2 (diff) | |
gnu: idris: Adapt to changed haskell-build-system.
…which does not support the “static” output any more.
* gnu/packages/idris.scm (idris)[arguments]: Remove phase
restore-libidris_rts.
Diffstat (limited to 'gnu/packages/irods.scm')
0 files changed, 0 insertions, 0 deletions