summary refs log tree commit diff
path: root/pkgs/development/compilers/agda
ModeNameSize
-rw-r--r--2.3.2.2.nix957log plain blame
-rw-r--r--2.4.0.2.nix1156log plain blame
-rw-r--r--stdlib-0.7.nix822log plain blame
-rw-r--r--stdlib-0.8.nix865log plain blame