Added repository to logic.cabal.