about 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.1.nix1081log plain blame
-rw-r--r--stdlib-0.7.nix822log plain blame
-rw-r--r--stdlib-0.8.nix865log plain blame