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/agda.scm | |
| parent | c8f5827a5654f8cebe23231e25ce541b0d0d8878 (diff) | |
| parent | ffc4869e45e852414b6ead19e7d93fca96d4e833 (diff) | |
Merge branch 'master' into staging
Diffstat (limited to 'gnu/packages/agda.scm')
| -rw-r--r-- | gnu/packages/agda.scm | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index 646595705b..0f9b4299c3 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -64,9 +64,7 @@ ("ghc-uri-encode" ,ghc-uri-encode) ("ghc-parallel" ,ghc-parallel) ("ghc-regex-tdfa" ,ghc-regex-tdfa) - ("ghc-stm" ,ghc-stm) ("ghc-strict" ,ghc-strict) - ("ghc-text" ,ghc-text) ("ghc-unordered-containers" ,ghc-unordered-containers) ("ghc-zlib" ,ghc-zlib))) (arguments |