git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4138 from melted/increase_win_bound

Update win32 bounds

commitda3e6f796a4b3d2420eb750aab8c3702b8140cc8 authorNiklas Larsson <metaniklas@gmail.com> dateSat 21 Oct 2017, 02:16 (9 years ago) parent94007796a00842
1 file changed+1−1
compare with master
unifiedsplit
idris.cabal+1−1
idris.cabal+1−1
@@ -314,7 +314,7 @@ Library
314314
315315 if os(windows)
316316 build-depends: mintty >= 0.1 && < 0.2
317− , Win32 < 2.4
317+ , Win32 < 2.7
318318 else
319319 build-depends: unix < 2.8
320320 if flag(FFI)