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 /ChangeLog | |
| parent | b33ebc22fb2bb578c8150398538884439f36dfde (diff) | |
| download | guix-2e0d02ebe351024cd97911cb1e5e1a6af1edc7f0.tar.gz | |
gnu: agda.scm: Add missing import.
* gnu/packages/agda.scm: Also use (guix gexp).
Diffstat (limited to 'ChangeLog')
0 files changed, 0 insertions, 0 deletions