Re: Package Moscow ML and HOL
On Mon, 2003-07-07 at 18:09, Peter Makholm wrote:
> There have been many attempts to package Moscow ML. I think the latest
> attempt was made by JP Secher and he made some packages but never
> uploaded them due to the licensing issues.
>
> JP Sechers's ITP: <http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=111560>
>
> Som of the discussion from Debian Legal the last time it was brought
> up (I think) (includes pointers to older discussions):
> <http://lists.debian.org/debian-legal/2002/debian-legal-200210/msg00135.html>
Thanks for the pointers and for the discussions by other posts. I'll
think what to do later.
--
zhaoway@public1.ptt.js.cn
http://c2.com/cgi/wiki?ZhaoWay
http://www.advogato.org/person/zhaoway/
Linux & Free Software Consultant, Nanjing, China
Reply to: