git.iko.soy/Idris-dev
on master help sign in
Update bug reference
commit3f1b008486b44c6b7b5810bb6fef5abe2f040591 authorMatvey B. Aksenov <matvey.aksenov@gmail.com> dateFri 15 May 2015, 15:54 (11 years ago) parent1b7359c
1 file changed+1−1
compare with master
unifiedsplit
Setup.hs+1−1
Setup.hs+1−1
@@ -245,7 +245,7 @@ idrisInstall verbosity copy pkg local = unless (execOnly (configFlags local)) $
245245-- Main
246246
247247-- 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
249249main = defaultMainWithHooks $ simpleUserHooks
250250 { postClean = idrisClean
251251 , postConf = idrisConfigure