1 Commits (b88e8777e97ed219c1966657e286de3b8506683e)

Author	SHA1	Message	Date
Josselin Poiret	7a00ab0532	gnu: agda: Add AGDA_LIBDIRS search-path. ... * gnu/packages/patches/agda-libdirs-env-variable.patch: New patch. * gnu/local.mk (dist_patch_DATA): Register it. * gnu/packages/agda.scm (agda): Patch agda, and add search path.	2023-06-04 10:59:33 +02:00