pkg_delete: No matching package for basename `cmake-gui-3.25.2nb1' of `cmake-gui-3.25.2nb1'