isl-0.28-1.mga11.armv7hl.rpm
isl-debugsource-0.28-1.mga11.armv7hl.rpm
libisl-devel-0.28-1.mga11.armv7hl.rpm
libisl23-0.28-1.mga11.armv7hl.rpm
libisl23-debuginfo-0.28-1.mga11.armv7hl.rpm