TIMESTAMP = 1661967703
SHA256 (isl-0.25.tar.xz) = be7b210647ccadf90a2f0b000fca11a4d40546374a850db67adb32fad4b230d9
SIZE (isl-0.25.tar.xz) = 1977048
