git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3069 from trofi/master
02b81acNiklas Larsson
idris.cabal+1−1
compare with master
unifiedsplit
@@ -1018,7 +1018,7 @@ Library
1018 , utf8-string < 1.1
1018 , utf8-string < 1.1
1019 , vector < 0.12
1019 , vector < 0.12
1020 , vector-binary-instances < 0.3
1020 , vector-binary-instances < 0.3
1021− , zip-archive > 0.2.3.5 && < 0.2.4
1021+ , zip-archive > 0.2.3.5 && < 0.4
1022 , safe
1022 , safe
1023 , fsnotify < 2.2
1023 , fsnotify < 2.2
1024 , async < 2.2
1024 , async < 2.2