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):
Thanks for the pointers and for the discussions by other posts. I'll
think what to do later.
Linux & Free Software Consultant, Nanjing, China