1 commit

Author	SHA1	Message	Date
Peter Simons	c2fd001fd4	Remove obsolete Agda-executable package; the compiler is not part of 'Agda'.	2014-05-04 12:17:35 +02:00

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