Age | Commit message (Expand) | Author |
---|---|---|
2018-06-29 | coq_8_8: 8.8.0 -> 8.8.1 | Théo Zimmermann |
2018-05-22 | coqPackages.iris: init at 3.1.0 (#40909) | Vincent Laporte |
2018-05-15 | coqPackages.stdpp: init at 1.1 | Vincent Laporte |
2018-04-18 | coq: 8.8+beta1 -> 8.8.0 | Vincent Laporte |
2018-03-21 | coq: init at 8.8+beta1 | Vincent Laporte |
2018-02-15 | coq: 8.7.1 -> 8.7.2 | John Wiegley |
2018-02-07 | coq: default to 8.7 | Vincent Laporte |
2017-12-28 | coqPackages.tlc: init at 20171206 | Vincent Laporte |
2017-12-22 | coqPackages.contribs: recurse into the nested set | Vincent Laporte |
2017-12-21 | 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-18 | 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 |