Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.

How do I build old versions of HOL, such as Taupo-6 and Kananaskis-1?

build hol versions
0
Posted

How do I build old versions of HOL, such as Taupo-6 and Kananaskis-1?

0

These versions of the system no longer build successfully because of the Overflow bug, caused by the fact that more than 231 seconds have passed since 1 January 1970.

Related Questions

What is your question?

*Sadly, we had to bring back ads too. Hopefully more targeted.

Experts123