summaryrefslogtreecommitdiff
path: root/pkgs/build-support/agda
ModeNameSize
-rw-r--r--default.nix4147logplainabout
-rw-r--r--lib.nix753logplainabout
generated by cgit v1.2.3 (git 2.52.0) at 2026-08-20 20:29:28 +0000