Hi, On Tue, Mar 13, 2012 at 13:38, Hendrik Tews <[email protected]> wrote: > * License : HOL Light licence
According to the google code page, it's actually BSD. Laurent. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/CAFShwkhv8vJV0YHe55HtcH5JvPgyZsAHg2aoPv0kb2sMÚ@mail.gmail.com
