| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | coq: 8.8+beta1 -> 8.8.0 | Vincent Laporte | 2018-04-18 |
| | | |||
| * | coq: init at 8.8+beta1 | Vincent Laporte | 2018-03-21 |
| | | |||
| * | coq: 8.7.1 -> 8.7.2 | John Wiegley | 2018-02-15 |
| | | |||
| * | coq: default to 8.7 | Vincent Laporte | 2018-02-07 |
| | | |||
| * | coqPackages.tlc: init at 20171206 | Vincent Laporte | 2017-12-28 |
| | | | | | | | | TLC is a general purpose Coq library that provides an alternative to Coq's standard library. Homepage: http://www.chargueraud.org/softs/tlc/ | ||
| * | coqPackages.contribs: recurse into the nested set | Vincent Laporte | 2017-12-22 |
| | | |||
| * | coqPackages.contribs: new set with all packages from coq-contribs | John Wiegley | 2017-12-21 |
| | | |||
| * | Specify the coq version in a more consistent location | John Wiegley | 2017-12-21 |
| | | |||
| * | coqPackages.multinomials: init at 1.0 | Vincent Laporte | 2017-12-18 |
| | | |||
| * | coq: minor cleaning | Vincent Laporte | 2017-12-18 |
| | | |||
| * | coqPackages: move to a separate file and filter the package set | Vincent Laporte | 2017-12-18 |