(BIN) libisl-static_0.21-2_aarch64.deb
 (BIN) libisl-static_0.21-2_arm.deb
 (BIN) libisl-static_0.21-2_i686.deb
 (BIN) libisl-static_0.21-2_x86_64.deb