1 Commits

Author	SHA1	Message	Date
Josselin Poiret	c1f8bcbbda	gnu: Add agda-stdlib. ... * gnu/packages/patches/agda-stdlib-use-runhaskell.patch: New patch. * gnu/local.mk (dist_patch_DATA): Register it. * gnu/packages/agda.scm: New variable agda-stdlib.	2023-06-04 10:59:34 +02:00