TIMESTAMP = 1520181091
SHA256 (isl-0.19.tar.xz) = 6d6c1aa00e2a6dfc509fa46d9a9dbe93af0c451e196a670577a148feecf6b8a5
SIZE (isl-0.19.tar.xz) = 1515156