Peter Simons 598c958a7d haskell-idris: update to version 0.9.6.1		2013-02-20 11:58:01 +01:00
..
default.nix	haskell-idris: update to version 0.9.6.1	2013-02-20 11:58:01 +01:00