summary refs log tree commit diff
path: root/pkgs/development/coq-modules/mathcomp/1.5.nix
Commit message (Expand)AuthorAge
* coq-mathcomp: refactorVincent Laporte2015-06-19
* coq_8_5: New expressionJohn Wiegley2015-04-26
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-16 23:26:47 +0000