diff options
| author | Marius Bakke <[email protected]> | 2019-08-08 18:14:45 +0200 |
|---|---|---|
| committer | Marius Bakke <[email protected]> | 2019-08-08 18:14:45 +0200 |
| commit | 36f400f6166af069d0e17cc486fb800bbe947131 (patch) | |
| tree | 91eb12f802c05071041989efff40dcad69ca63e8 /gnu/packages/idris.scm | |
| parent | c8f5827a5654f8cebe23231e25ce541b0d0d8878 (diff) | |
| parent | ffc4869e45e852414b6ead19e7d93fca96d4e833 (diff) | |
Merge branch 'master' into staging
Diffstat (limited to 'gnu/packages/idris.scm')
| -rw-r--r-- | gnu/packages/idris.scm | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm index ec3eb15d63..4290d8c21f 100644 --- a/gnu/packages/idris.scm +++ b/gnu/packages/idris.scm @@ -78,7 +78,6 @@ ("ghc-safe" ,ghc-safe) ("ghc-split" ,ghc-split) ("ghc-terminal-size" ,ghc-terminal-size) - ("ghc-text" ,ghc-text) ("ghc-uniplate" ,ghc-uniplate) ("ghc-unordered-containers" ,ghc-unordered-containers) ("ghc-utf8-string" ,ghc-utf8-string) |