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