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