muhviehstarr [1] filed a deletion request for isl19 [2]: can be deleted created package libisl19 [1] https://aur.archlinux.org/account/muhviehstarr/ [2] https://aur.archlinux.org/pkgbase/isl19/