me
/
guix
Archived
1
0
Fork 0
Code

gnu: agda.scm: Add missing import. 

* gnu/packages/agda.scm: Also use (guix gexp).
master
Efraim Flashner 2022-05-12 08:42:09 +03:00
parent b33ebc22fb
commit 2e0d02ebe3
No known key found for this signature in database
GPG Key ID: 41AAE7DCCA3D8351
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
gnu/packages/agda.scm
View File

@ -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:)