Peter Simons 09dee8994f haskell-idris: updated to version 0.9.0 ... svn path=/nixpkgs/trunk/; revision=31622		2012-01-18 15:04:09 +00:00
..
default.nix	haskell-idris: updated to version 0.9.0	2012-01-18 15:04:09 +00:00