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

Fix network bounds

commitf76dac0affe019c2b1dac14fadb1e689f2063711 authorNiklas Larsson <metaniklas@gmail.com> dateTue 11 Dec 2018, 23:58 (8 years ago) parent2dad1ebdc240d6
1 file changed+1−1
compare with master
unifiedsplit
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