No HOL link. Anywhere.
Withdrawn, methinks. As they did it with NDK 3.9.
Self-declared new "Mr. Amiga" G. P. has brought nothing but trouble with this machine: endless and useless debates about centuries-old copyrights, idiotic infighting, absolutely never giving in to arguments, always thinking his point of view is the right one.
"I am here, and you dumb Amiga punks are there, and I know what is good for you."
Update time: seems that Peake has gone out of business eventually, and a certain Gary Hare is now new CEO.
(unofficial info! but what do you expect from amiga.inc's "marvellous" and "up-to-date" news policy?