TIMESTAMP = 1787356127
SHA256 (isl-0.28.tar.xz) = 3dc31b8e1b18329e42d5dfbf84dd55e15c59b61569a2ab246f61497d9592f727
SIZE (isl-0.28.tar.xz) = 1942484
