diff options
| -rw-r--r-- | yellowsquid/build-system/agda.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/yellowsquid/build-system/agda.scm b/yellowsquid/build-system/agda.scm index d77bd1b..b590bdf 100644 --- a/yellowsquid/build-system/agda.scm +++ b/yellowsquid/build-system/agda.scm @@ -47,7 +47,7 @@ '()) ,@native-inputs ,@(if target '() inputs) - ("agda" agda) + ("agda" ,agda) ,@(standard-packages))) (host-inputs (if target inputs '())) (outputs outputs) |