1
0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-06-05 16:11:33 +02:00
Files
guix/gnu/packages/agda.scm
T
Efraim Flashner 2e0d02ebe3 gnu: agda.scm: Add missing import.
* gnu/packages/agda.scm: Also use (guix gexp).
2022-05-12 08:42:09 +03:00

6.5 KiB