diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2022-04-06 18:11:43 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2022-04-06 18:11:43 +0100 |
| commit | a53bfcfb00afcc86e185779168c164e4f87c141b (patch) | |
| tree | 68159de484d9e0e4fd84ef4d58fa45522f618a47 | |
| parent | f06ccec532f9eaeeb6df2ac3696de8254bffa179 (diff) | |
Add missing unquotation.
| -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) |