[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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



Hi,

there is a new upstream svn commit that fixes the license issues.
The package contains now this latest version together with a
rather long copyright file, that lists all the exceptions form
the general hol light license.

I have not yet created a signed tag in the repository, but I
would do so if the package is ready for upload.

Bye,

Hendrik


Reply to: