From 6a18007fc9e0016816ccf0bf655214c120159bfb Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Wed, 19 Jul 2023 11:27:59 +0100
Subject: cubical: make ghc a native input

---
 yellowsquid/packages/agda.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3