diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-07-19 11:27:59 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-07-19 11:27:59 +0100 |
| commit | 6a18007fc9e0016816ccf0bf655214c120159bfb (patch) | |
| tree | d3c24d96bf58179ac169dd53c5ef4573882ff0af | |
| parent | 1895a968f82a1d1cbb2b456d9a0f93c24a87902f (diff) | |
cubical: make ghc a native input
| -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 |