1
wget http://isl.gforge.inria.fr/isl-0.21.tar.xz || wget https://deb.debian.org/debian/pool/main/i/isl/isl_0.21.orig.tar.xz