Bug 537924

Summary:	dev-lang/mosml: licensing issues
Product:	Gentoo Linux	Reporter:	Pacho Ramos <pacho>
Component:	Current packages	Assignee:	No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it <maintainer-needed>
Status:	RESOLVED FIXED
Severity:	normal	CC:	licenses, treecleaner
Priority:	Normal	Keywords:	PMASKED
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:	Pending removal: 2015-04-22
Package list:		Runtime testing required:	---

Description Pacho Ramos gentoo-dev

2015-01-26 21:04:01 UTC

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

Comment 1 Pacho Ramos gentoo-dev

2015-04-26 12:44:14 UTC

dropped