1 commit

Author	SHA1	Message	Date
Mateusz Kowalczyk	714dc47696	agda-iowa-stdlib: renamed from aaron-stump-stdlib ... Per author's request.	2014-09-28 02:21:21 +01:00

Renamed from pkgs/development/libraries/agda/aaron-stump-stdlib/default.nix (Browse further)