Re: Package Moscow ML and HOL

2003-07-07 Thread ZHAO Wei
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:

Re: Package Moscow ML and HOL

2003-07-07 Thread Peter Makholm
ZHAO Wei <[EMAIL PROTECTED]> 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

Re: Package Moscow ML and HOL

2003-07-05 Thread Sven Luther
On Thu, Jul 03, 2003 at 05:36:30PM +0800, ZHAO Wei wrote: > On Thu, 2003-07-03 at 14:47, Ralf Treinen wrote: > > I remember vaguely that there used to be a licence problem with > > Moscow ML. What is its exact licence now? > > Under the mosml/copyright directory, there are three license files: >

Re: Package Moscow ML and HOL

2003-07-03 Thread Branden Robinson
On Thu, Jul 03, 2003 at 05:36:30PM +0800, ZHAO Wei wrote: > On Thu, 2003-07-03 at 14:47, Ralf Treinen wrote: > > I remember vaguely that there used to be a licence problem with > > Moscow ML. What is its exact licence now? > > Under the mosml/copyright directory, there are three license files: >

Re: Package Moscow ML and HOL

2003-07-03 Thread ZHAO Wei
On Thu, 2003-07-03 at 17:53, Michał Politowski wrote: > It looks like > a) possible GPL incompatibility - so no distribution would be possible at all, > b) even if not, no paying distribution means non-free IMHO. I see your point. But I think it should be resolvable. Since that part of the clause

Re: Package Moscow ML and HOL

2003-07-03 Thread Michał Politowski
On Thu, 3 Jul 2003 17:36:30 +0800, ZHAO Wei wrote: > On Thu, 2003-07-03 at 14:47, Ralf Treinen wrote: > > I remember vaguely that there used to be a licence problem with > > Moscow ML. What is its exact licence now? > > Under the mosml/copyright directory, there are three license files: > > 1. g

Re: Package Moscow ML and HOL

2003-07-03 Thread ZHAO Wei
On Thu, 2003-07-03 at 14:47, Ralf Treinen wrote: > I remember vaguely that there used to be a licence problem with > Moscow ML. What is its exact licence now? Under the mosml/copyright directory, there are three license files: 1. gpl2 - which is exactly a copy of GPL v2 2. copyright.att - which c

Re: Package Moscow ML and HOL

2003-07-03 Thread Ralf Treinen
On Thu, Jul 03, 2003 at 02:02:26PM +0800, ZHAO Wei wrote: > 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. I remember vaguely that there used to be a l