Commit message (Expand) | Author | Age | |
---|---|---|---|
* | coq_8_8: 8.8.0 -> 8.8.1 | Théo Zimmermann | 2018-06-29 |
* | coqPackages.iris: init at 3.1.0 (#40909) | Vincent Laporte | 2018-05-22 |
* | coqPackages.stdpp: init at 1.1 | Vincent Laporte | 2018-05-15 |
* | 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 |
* | 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 |