summary refs log tree commit diff
path: root/pkgs/development/coq-modules/contribs
Commit message (Expand)AuthorAge
* coq-contribs: fix various packagesVincent Laporte2015-03-01
* coqPackages: add contribs (close #5242)Vincent Laporte2015-01-25
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-29 10:18:13 +0000