on master help sign in
Fix network bounds

Fixes #4612

commitdc240d6ad37b8d731ac00973946c83795d54f36f authorNiklas Larsson <niklas@mm.st> dateTue 11 Dec 2018, 21:41 (8 years ago) parent0cf1728
1 file changed+1−1
idris.cabal+1−1
idris.cabal+1−1
@@ -291,7 +291,7 @@ Library
291291 , ieee754 >= 0.7 && < 0.9
292292 , megaparsec >= 6.2 && < 7
293293 , mtl >= 2.1 && < 2.3
294− , network < 2.8
294+ , network >= 2.7 && < 2.9
295295 , optparse-applicative >= 0.13 && < 0.15
296296 , pretty < 1.2
297297 , process < 1.7