9562549ff25 ^
1 2 3
* Build the RTS separately from Idris * idris2nix * Only require gmp, rts when compiling executables