Re: Bug#663754: ITP: hol-light -- HOL Light theorem prover
Le 24/04/2012 23:56, Hendrik Tews a écrit :
> 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.
Thank you for taking care of this.
> I have not yet created a signed tag in the repository, but I
> would do so if the package is ready for upload.
I've just uploaded it. However, it will go under an additional review by
ftp masters (because it is new).
Cheers,
--
Stéphane
Reply to: