diff options
Diffstat (limited to 'gnu/packages/agda.scm')
| -rw-r--r-- | gnu/packages/agda.scm | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index df4968c445..572de5bbeb 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -58,7 +58,6 @@ ("ghc-hashtables" ,ghc-hashtables) ("ghc-ieee754" ,ghc-ieee754) ("ghc-monadplus" ,ghc-monadplus) - ("ghc-mtl" ,ghc-mtl) ("ghc-murmur-hash" ,ghc-murmur-hash) ("ghc-uri-encode" ,ghc-uri-encode) ("ghc-parallel" ,ghc-parallel) |