pkg_delete: No matching package for basename `php73-shmop-7.3.17' of `php73-shmop-7.3.17'