Re: Fwd: Standard ML in Fedora and in GSoC