@@ -245,7 +245,7 @@ idrisInstall verbosity copy pkg local = unless (execOnly (configFlags local)) $
247-- Install libraries during both copy and install
247-- Install libraries during both copy and install
248−-- See http://hackage.haskell.org/trac/hackage/ticket/718
248+-- See https://github.com/haskell/cabal/issues/709
249main = defaultMainWithHooks $ simpleUserHooks
249main = defaultMainWithHooks $ simpleUserHooks
250 { postClean = idrisClean
250 { postClean = idrisClean
251 , postConf = idrisConfigure
251 , postConf = idrisConfigure