[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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.

Linux & Free Software Consultant, Nanjing, China

Reply to: