idris.cabal: allow zip-archive-0.3
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
commitabfb3dd12eca7b2dbb49a432e38a40e342b1a3fa
authorSergei Trofimovich <siarheit@google.com>
dateSat 26 Mar 2016, 16:00 (11 years ago)
parent7a59d10
idris.cabal+1−1
@@ -1018,7 +1018,7 @@ Library
10181018 , utf8-string < 1.1
10191019 , vector < 0.12
10201020 , vector-binary-instances < 0.3
1021− , zip-archive > 0.2.3.5 && < 0.2.4
1021+ , zip-archive > 0.2.3.5 && < 0.4
10221022 , safe
10231023 , fsnotify < 2.2
10241024 , async < 2.2