rpms/mosml/devel dead.package, NONE, 1.1 mosml-fpic.patch, 1.1, NONE mosml-install.patch, 1.1, NONE mosml-ld.patch, 1.1, NONE mosml-shared.patch, 1.1, NONE mosml.spec, 1.3, NONE sources, 1.1, NONE

[Tom Callaway]

Author: spot

Update of /cvs/pkgs/rpms/mosml/devel
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv31250

Added Files:
	dead.package 
Removed Files:
	mosml-fpic.patch mosml-install.patch mosml-ld.patch 
	mosml-shared.patch mosml.spec sources 
Log Message:
dead.package mosml due to licensing issues


--- NEW FILE dead.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 at redhat.com> Wednesday September 10, 2008 



--- mosml-fpic.patch DELETED ---


--- mosml-install.patch DELETED ---


--- mosml-ld.patch DELETED ---


--- mosml-shared.patch DELETED ---


--- mosml.spec DELETED ---


--- sources DELETED ---