Tom spot Callaway (tcallawa at redhat.com) said: > mosml has been dead.package'd because it was using code under a non-free > license. > > Please block this package from rawhide/F10. Blocked. Bill