Is true that it is currently necessary to reinstall every locally-installed package when I upgrade to a new version of ghc, even if it is only a new patchlevel? Maybe this should only be necessary when the major or minor version number changes? Frederik