Commit message (Expand) | Author | Age | |
---|---|---|---|
* | coqPackages.tlc: init at 20171206 | Vincent Laporte | 2017-12-28 |
* | 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 |