1 Commits (fa0676265e9b44c49c4c2cebc5097f49b3a0fc0e)

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