summaryrefslogtreecommitdiffstats
path: root/nixos/tests/agda
ModeNameSize
-rw-r--r--base.nix958logstatsplain
-rw-r--r--default.nix109logstatsplain
d---------files88logstatsplain
-rw-r--r--override-with-backend.nix1668logstatsplain