Re: Package Moscow ML and HOL
ZHAO Wei <email@example.com> writes:
> I intend to package Moscow ML and later HOL theorem prover for Debian.
> This is not a fromal ITP because I'm not eager to prevent others from
> doing the same. :) I won't compete with you too.
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):
Peter Makholm | According to the hacker ethic, the meaning of life
firstname.lastname@example.org | is not Friday, but it is not Sunday either
http://hacking.dk | -- Peeka Himanen