architecture: arm64 component: main package: libisl-dev priority: optional section: libdevel srcpkg_name: isl srcpkg_version: 0.25-1.1 version: 0.25-1.1