This release of HOL fixes the Overflow bug that afflicted the Kananaskis-1 and earlier releases. It is otherwise identical to Kananaskis-1.
Overflow
HOL 4, Kananaskis-2