Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |