Peter Simons 0de6725105 haskell-idris: update to version 0.9.3.1		2012-09-21 16:36:24 +02:00
..
default.nix	haskell-idris: update to version 0.9.3.1	2012-09-21 16:36:24 +02:00