pkg_delete: No matching package for basename `hs-microlens-ghc-0.4.13.1nb2' of `hs-microlens-ghc-0.4.13.1nb2'