HomeIsabelle/Phabricator

Fix 32-bit pre-built compilers wrongly built.

Description

Fix 32-bit pre-built compilers wrongly built.

Details

Provenance
dcjmAuthored on Sun, May 2, 1:50 PM
Parents
rPOLYMLad51084b76de: Built pre-built compilers for X86/32 and 32-bit interpreted.
Branches
Unknown
Tags
Unknown