> > $ ghc-pkg describe WASHHTML\* > > ghc-pkg: cannot parse 'WASHHTML*' as a package identifier By the way, if I write it as 'WASHHTML-\*' it lists both packages as per documentation. And I can use that to remove both, and then reinstall one. Still, my goal was to remove only one. Frederik -- http://ofb.net/~frederik/