HomeIsabelle/Phabricator

Updated pre-built compilers for 64-bit amd 32-in-64 Windows.

Authored by dcjm on Fri, Jul 17, 10:44 AM.

Description

Updated pre-built compilers for 64-bit amd 32-in-64 Windows.

Details

Committed
dcjmFri, Jul 17, 10:44 AM
Parents
rPOLYMLba0fcdf61920: Updated pre-built compilers for 32-bit native X86 and interpreted versions.
Branches
Unknown
Tags
Unknown
References
tag: v5.8.1, fixes-5.8.1