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

[Jens Peter Secher <jpsecher@diku.dk>]

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?  

I am negotiating a lincense change with the authors of some components
of the software, so it would be handy to be able to point to the discussion...

[1] http://www.diku.dk/~jpsecher/debian.html
[2] http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=111560&repeatmerged=yes

Cheers,
-- 
                                                    Jens Peter Secher
_____________________________________________________________________ 
 jpsecher@diku.dk - http://www.diku.dk/~jpsecher - (+45) 35 32 14 08
_OpenPGP fingerprint DD6A 05B0 174E BFB2 D4D9 B52E 0EE5 978A FE63 E8A1_