Bug#663754: ITP: hol-light -- HOL Light theorem prover

[Laurent Fousse]

Hi,

On Tue, Mar 13, 2012 at 13:38, Hendrik Tews <hend...@askra.de> wrote:
> * License         : HOL Light licence

According to the google code page, it's actually BSD.

Laurent.



--
To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: 
http://lists.debian.org/CAFShwkhv8vJV0YHe55HtcH5JvPgyZsAHg2aoPv0kb2sMÚ@mail.gmail.com