pkg_delete: No matching package for basename `php72-snmp-7.2.13' of `php72-snmp-7.2.13'