Description

There seems to be a some problem with the script that builds the HEAD branch snapshots; libraries/integer-gmp/gmp contains obj-files etc. from as Linux build, and libraries/integer-gmp/cbits contains a Linux binary mkGmpDerivedConstants.