Re: ITP: polyml -- Standard ML implementation

To: 494488@bugs.debian.org
Cc: debian-devel@lists.debian.org
Subject: Re: ITP: polyml -- Standard ML implementation
From: Lionel Elie Mamane <lionel@mamane.lu>
Date: 2008年8月10日 00:07:37 +0200
Message-id: <[🔎] 20080809220737.GA8768@capsaicin.mamane.lu>
Mail-followup-to: Lionel Elie Mamane <lionel@mamane.lu>, 494488@bugs.debian.org, debian-devel@lists.debian.org
In-reply-to: <[🔎] 20080809214549.GA9224@capsaicin.mamane.lu>
References: <[🔎] 20080809214549.GA9224@capsaicin.mamane.lu>

On Sat, Aug 09, 2008 at 11:45:49PM +0200, Lionel Elie Mamane wrote:
> * Package name : polyml
> Version : 5.2
> Upstream Author : David Matthews <polyml@polyml.org>
> * URL : http://www.polyml.org/index.html
> * License : GPLv2
Sorry, that's LGPLv2.1 or later, not GPL.
-- 
Lionel

Reply to:

References:
- Bug#494488: ITP: polyml -- Standard ML implementation
  - From: Lionel Elie Mamane <lionel@mamane.lu>

Prev by Date: Bug#494488: ITP: polyml -- Standard ML implementation
Next by Date: Bug#494491: ITP: isabelle -- Generic theorem proving environment
Previous by thread: Bug#494488: ITP: polyml -- Standard ML implementation
Next by thread: Re: Bug#494488: ITP: polyml -- Standard ML implementation
Index(es):
- Date
- Thread