diff options
Diffstat (limited to 'gnu/packages/idris.scm')
| -rw-r--r-- | gnu/packages/idris.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm index 7e6ee302b0..cd682832bc 100644 --- a/gnu/packages/idris.scm +++ b/gnu/packages/idris.scm @@ -71,7 +71,7 @@ ("ghc-ieee754" ,ghc-ieee754) ("ghc-libffi" ,ghc-libffi) ("ghc-megaparsec" ,ghc-megaparsec-7) - ("ghc-network" ,ghc-network-2.8) + ("ghc-network" ,ghc-network) ("ghc-optparse-applicative" ,ghc-optparse-applicative) ("ghc-regex-tdfa" ,ghc-regex-tdfa) ("ghc-safe" ,ghc-safe) |