git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4138 from melted/increase_win_bound
da3e6f7Niklas Larsson
idris.cabal+1−1
compare with master
unifiedsplit
@@ -314,7 +314,7 @@ Library
314
314
315 if os(windows)
315 if os(windows)
316 build-depends: mintty >= 0.1 && < 0.2
316 build-depends: mintty >= 0.1 && < 0.2
317− , Win32 < 2.4
317+ , Win32 < 2.7
318 else
318 else
319 build-depends: unix < 2.8
319 build-depends: unix < 2.8
320 if flag(FFI)
320 if flag(FFI)