Commit message (Expand) | Author | Age | |
---|---|---|---|
* | coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27 | John Wiegley | 2018-03-05 |
* | coqPackages: move to a separate file and filter the package set | Vincent Laporte | 2017-12-18 |
* | coqPackages_8_4.fiat: remove | Vincent Laporte | 2017-12-02 |
* | coqPackages.fiat_HEAD: mark as broken with Coq ≥ 8.6 | Vincent Laporte | 2017-10-22 |
* | Use consistent package naming for HEAD.nix files | rht | 2017-05-09 |
* | coqPackages.fiat_HEAD: New package for Coq 8.4pl6 and 8.5pl2 | John Wiegley | 2016-10-31 |
* | coq-fiat: do not run tests on i686 | Vincent Laporte | 2015-07-09 |
* | coqPackages.fiat: disable parallel build to fix build | Pascal Wittmann | 2015-06-10 |
* | meta.description fixups | Joachim Fasting | 2015-04-30 |
* | coqPackages.fiat: enable building the examples as a test | John Wiegley | 2015-01-09 |
* | coqPackages.fiat: correct installation directory | John Wiegley | 2015-01-09 |
* | coqPackages.fiat: new expression | John Wiegley | 2015-01-09 |