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