git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2272 from supki/patch-1

Update bug reference

commitcf92511b247750641c392329dea580dae00db6ff authorDavid Christiansen <david@davidchristiansen.dk> dateSat 16 May 2015, 22:22 (11 years ago) parent4ad29493f1b008
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