diff options
Diffstat (limited to 'yellowsquid')
| -rw-r--r-- | yellowsquid/packages/agda.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/yellowsquid/packages/agda.scm b/yellowsquid/packages/agda.scm index 6a26c93..fe16581 100644 --- a/yellowsquid/packages/agda.scm +++ b/yellowsquid/packages/agda.scm @@ -152,7 +152,7 @@ backwards compatibility is not assured.") (base32 "0yfg7gr55n08ly1qgzpcp16s15k1abycppbcdi9lzg1hjryqxcg3")))) (build-system agda-build-system) - (inputs (list ghc)) + (native-inputs (list ghc)) (arguments '(#:phases (modify-phases %standard-phases |