pkg_delete: No matching package for basename `php82-gmp-8.2.17' of `php82-gmp-8.2.17'