file too large

external/z3/lib/libz3-a-32b (24793142 bytes) exceeds the storage limit; its content is not kept.