pkg_delete: No matching package for basename `php80-gmp-8.0.27' of `php80-gmp-8.0.27'