diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2018-09-30 12:23:59 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2018-10-01 12:12:23 +0200 |
| commit | 787231e9570779892b2eb2e79563be4cfacc9b9d (patch) | |
| tree | 8925ec0c5baa47f1cc1c7f4a8cbb8acc2c9edb48 /scripts | |
| parent | 6306ce727186d2f8d2be5632a9b5d92982841e95 (diff) | |
| download | gnu-guix-787231e9570779892b2eb2e79563be4cfacc9b9d.tar gnu-guix-787231e9570779892b2eb2e79563be4cfacc9b9d.tar.gz | |
gnu: agda: Fix build.
* gnu/packages/agda.scm (agda)[inputs]: Remove ghc-monadplus; add
ghc-filemanip.
[arguments]: Replace configure phase.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions