Re: Moscow ML (mosml) not even allowed in non-free?

[Andreas Metzler <ametzler@logic.univie.ac.at>]

 Jens Peter Secher <jpsecher@diku.dk> wrote:
> I have provided an unofficial deb package[1] of Moscow ML (an ML
> compiler) for some time now, but it has licensing problems.
> 
> According[2] to Torsten Landschoff, there was a discussion of this
> matter on this list, but I cannot seem to find it.  Is there anyone
> who can give me pointers to the discussion?

http://lists.debian.org/debian-devel/2000/debian-devel-200008/msg00604.html
http://lists.debian.org/debian-mentors/1998/debian-mentors-199811/msg00199.html
(found with google: search for moscow site:lists.debian.org)
             cu andreas