1 Commits (52312a4551dea1d730720c3ab9424bda9c02319a)

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