Peter Simons 99312f4a51 haskell-Agda: update to version 2.4.2.1		2014-11-14 14:13:40 +01:00
..
default.nix	haskell-Agda: update to version 2.4.2.1	2014-11-14 14:13:40 +01:00
stdlib.nix	Fixed many descriptions	2014-11-11 14:36:34 +01:00