John Wiegley 5c6512434a idris: patch 0.9.14 to workaround a bug

2014-07-24 15:48:07 -05:00

..

default.nix

idris: patch 0.9.14 to workaround a bug

2014-07-24 15:48:07 -05:00

trifecta-fix.patch

idris: patch 0.9.14 to workaround a bug

2014-07-24 15:48:07 -05:00

wrapper.nix

idris: provide boehmgc to compile with llvm backend

2014-06-16 22:43:51 +02:00