From b837a3b868d69b3555ddd00bb2b878eb161c8ca2 Mon Sep 17 00:00:00 2001 From: Chloe Brown Date: Wed, 14 Dec 2022 09:42:35 +0000 Subject: fixup: add missing imports. --- yellowsquid/packages/idris.scm | 2 ++ 1 file changed, 2 insertions(+) diff --git a/yellowsquid/packages/idris.scm b/yellowsquid/packages/idris.scm index e21d260..783ec38 100644 --- a/yellowsquid/packages/idris.scm +++ b/yellowsquid/packages/idris.scm @@ -1,4 +1,5 @@ (define-module (yellowsquid packages idris) + #:use-module (gnu packages base) #:use-module (gnu packages bash) #:use-module (gnu packages chez) #:use-module (gnu packages llvm) @@ -8,6 +9,7 @@ #:use-module (gnu packages version-control) #:use-module (guix build-system gnu) #:use-module (guix gexp) + #:use-module (guix git) #:use-module (guix git-download) #:use-module ((guix licenses) #:prefix license:) #:use-module (guix packages) -- cgit v1.2.3