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

Re: Package Moscow ML and HOL

ZHAO Wei <zw@netspeed-tech.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
 peter@makholm.net |            is not Friday, but it is not Sunday either
 http://hacking.dk |                                      -- Peeka Himanen

Reply to: