| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | gnu: Add agda-stdlib. | Josselin Poiret | 2023-06-04 |
| * 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. | |||