diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2022-05-12 08:42:09 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2022-05-12 08:42:09 +0300 |
| commit | 2e0d02ebe351024cd97911cb1e5e1a6af1edc7f0 (patch) | |
| tree | e0ff2fcc4ea64c9582195b6efdb6cbc00dcdd08b /gnu/packages/agda.scm | |
| parent | b33ebc22fb2bb578c8150398538884439f36dfde (diff) | |
| download | guix-patches-2e0d02ebe351024cd97911cb1e5e1a6af1edc7f0.tar guix-patches-2e0d02ebe351024cd97911cb1e5e1a6af1edc7f0.tar.gz | |
gnu: agda.scm: Add missing import.
* gnu/packages/agda.scm: Also use (guix gexp).
Diffstat (limited to 'gnu/packages/agda.scm')
| -rw-r--r-- | gnu/packages/agda.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index 87e787b72d..038b38195f 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -29,6 +29,7 @@ #:use-module (guix build-system gnu) #:use-module (guix build-system haskell) #:use-module (guix build-system trivial) + #:use-module (guix gexp) #:use-module (guix download) #:use-module (guix git-download) #:use-module ((guix licenses) #:prefix license:) |