Per http://pkgs.fedoraproject.org/cgit/mosml.git/tree/dead.package we should maybe stop supplying this package: This code (Moscow ML) is under several licenses, but some of it is directly derived from an old version of of Caml Light, so even though Moscow ML is mostly licensed under the GPL (version 2 or later), it is incompatible with the old INRIA Caml Light license (which was non-free). This makes the whole work non distributable (and non-free). I made attempts to contact INRIA to see if they would grant permission for the Moscow ML derived work to inherit newer license permissions (the current INRIA Caml Light version is Free), but they never responded. If/when INRIA or Moscow ML resolves this licensing issue, this package could be reconsidered for Fedora. Tom "spot" Callaway <tcallawa@redhat.com> Wednesday September 10, 2008
dropped