summaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
Commit message (Expand)AuthorAge
generated by cgit v1.2.3 (git 2.44.0) at 2024-04-27 05:45:06 +0000