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-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
