Lars-Dominik Braun 2c0537d374 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.

2023-02-26 10:26:17 +01:00

12 KiB

Raw Blame History

View Raw