On 6/26/05, Frederik Eaton [EMAIL PROTECTED] wrote:
This is kind of annoying:
$ ghc-pkg --version
GHC package manager version 6.4
$ ghc-pkg unregister WASHHTML
ghc-pkg: package WASHHTML matches multiple packages: WASHHTML, WASHHTML-0.14.8
$ ghc-pkg describe WASHHTML
ghc-pkg: package
On Sun, Jun 26, 2005 at 10:18:03AM +0200, Lemmih wrote:
On 6/26/05, Frederik Eaton [EMAIL PROTECTED] wrote:
This is kind of annoying:
$ ghc-pkg --version
GHC package manager version 6.4
$ ghc-pkg unregister WASHHTML
ghc-pkg: package WASHHTML matches multiple packages: WASHHTML,
$ 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
--
This is kind of annoying:
$ ghc-pkg --version
GHC package manager version 6.4
$ ghc-pkg unregister WASHHTML
ghc-pkg: package WASHHTML matches multiple packages: WASHHTML, WASHHTML-0.14.8
$ ghc-pkg describe WASHHTML
ghc-pkg: package WASHHTML matches multiple packages: WASHHTML, WASHHTML-0.14.8
$