John Wiegley 7d90959d73 idris: 0.9.14 -> 0.9.14.1		2014-07-30 18:11:18 -05:00
..
default.nix	idris: 0.9.14 -> 0.9.14.1	2014-07-30 18:11:18 -05:00
wrapper.nix	idris: provide boehmgc to compile with llvm backend	2014-06-16 22:43:51 +02:00