Hi. > $ runghc Setup.hs copy > $ runghc Setup.hs register --gen-pkg-conf=Agda.conf > $ ghc-pkg --user register Agda.conf > > Is there a better way? :) Yes, passing the --force option to cabal with --ghc-pkg-options=--force Cheers, Andres