| Commit message (Expand) | Author | Age |
|---|
| * | treewide: remove unused variables (#63177) | volth | 2019-06-16 |
| * | coqPackages.ssreflect: inherit mathcomp's source/meta attributes | Jörg Thalheim | 2018-11-06 |
| * | coqPackages.ssreflect: refactor choice of source version | Théo Zimmermann | 2018-11-05 |
| * | coqPackages.ssreflect: refactor | Vincent Laporte | 2018-11-04 |
| * | coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc. | Théo Zimmermann | 2018-10-19 |
| * | pkgs/*: remove unreferenced function arguments | volth | 2018-07-21 |
| * | coqPackages.mathcomp: 1.6.4 -> 1.7.0 | Vincent Laporte | 2018-05-01 |
| * | coq: init at 8.8+beta1 | Vincent Laporte | 2018-03-21 |
| * | coqPackages_8_4.ssreflect: remove | Vincent Laporte | 2017-12-02 |
| * | coqPackages.ssreflect: Build version 0.6.4 for Coq 8.6 and 8.7 | John Wiegley | 2017-11-12 |
| * | Revert "coqPackages.{ssreflect,mathcomp}: 1.6.1 -> 1.6.4" | Tim Steinbach | 2017-11-07 |
| * | coqPackages.ssreflect: 1.6.1 -> 1.6.4 | Maxime Dénès | 2017-11-07 |
| * | coqPackages.{ssreflect,mathcomp}: 1.6 -> 1.6.1 | Vincent Laporte | 2017-02-11 |
| * | coqPackages.{ssreflect,mathcomp}: fix build with Coq-8.6 | Vincent Laporte | 2017-01-25 |
| * | coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect | John Wiegley | 2016-12-22 |
| * | Remove no longer (or never) referenced patches | Tobias Geerinckx-Rice | 2016-01-24 |
| * | ssreflect, mathcomp: fix build | Vincent Laporte | 2016-01-04 |
| * | coqPackages.mathcomp,ssreflect: 1.5 -> 1.6 | John Wiegley | 2015-12-20 |
| * | coqPackages.ssreflect: add ncurses as a dependency | John Wiegley | 2015-10-31 |
| * | ssreflect, mathcomp: better package names | Vincent Laporte | 2015-06-19 |
| * | coq-ssreflect: refactor | Vincent Laporte | 2015-06-19 |
| * | coq-ssreflect: also build and install the documentation | Vincent Laporte | 2015-06-19 |
| * | coq_8_5: New expression | John Wiegley | 2015-04-26 |
| * | coqPackages.ssreflect, more: build ssrcoq binary, add maintainer | John Wiegley | 2014-10-13 |
| * | Adds three coq libraries: containers, mathcomp, ssreflect | Vincent Laporte | 2014-09-28 |