J Phani Mahesh 8e3eae86d6 mlton: switch sf downloads to mirror:// ... This allows fallback to all configured mirrors for sourceforge to download, instead of relying on just downloads.sourceforge.net		2016-08-20 19:14:30 +05:30
..
default.nix	mlton: switch sf downloads to mirror://	2016-08-20 19:14:30 +05:30