TIMESTAMP = 1465584301
SHA256 (isl-0.17.1.tar.xz) = be152e5c816b477594f4c6194b5666d8129f3a27702756ae9ff60346a8731647
SIZE (isl-0.17.1.tar.xz) = 1440564