1 commit

Author	SHA1	Message	Date
John Wiegley	61e8fe50c2	Agda: add 2.4.0.1, 2.3.2.2 is still the default for now	2014-06-16 14:03:17 -07:00

Renamed from pkgs/development/compilers/agda/agda.nix (Browse further)