#  {libisl23,isl-dev}
#libisl22
isl-dev
libisl23