aboutsummaryrefslogtreecommitdiff
path: root/nixpkgs/pkgs/development/coq-modules/mathcomp
ModeNameSize
-rw-r--r--default.nix12698logplain
-rw-r--r--extra.nix18975logplain