Merge pull request idris-lang#4614 from melted/fix_network_bounds

Fix network bounds
shmish111 · Dec 11, 2018 · f76dac0 · f76dac0
2 parents 2dad1eb + dc240d6
commit f76dac0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/idris.cabal b/idris.cabal
@@ -291,7 +291,7 @@ Library
                 , ieee754 >= 0.7 && < 0.9
                 , megaparsec >= 6.2 && < 7
                 , mtl >= 2.1 && < 2.3
-                , network < 2.8
+                , network >= 2.7 && < 2.9
                 , optparse-applicative >= 0.13 && < 0.15
                 , pretty < 1.2
                 , process < 1.7