Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2018-03-21 | coq: init at 8.8+beta1 | Vincent Laporte | 1 | -1/+1 |
2017-12-18 | coqPackages: move to a separate file and filter the package set | Vincent Laporte | 1 | -6/+6 |
2017-11-12 | coqPackages.CoLoR: 1.3.0 -> 1.4.0, which now supports Coq 8.7 | John Wiegley | 1 | -6/+6 |
2017-09-04 | coqPackages: remove duplication in mkCoqPackages | Vincent Laporte | 1 | -0/+4 |
2017-07-18 | coqPackages_8_6.CoLoR: Fix installPhase | John Wiegley | 1 | -1/+4 |
2017-07-18 | coqPackages_8_6.CoLoR: new expression 1.3.0 | John Wiegley | 1 | -0/+21 |