Age | Commit message (Expand) | Author |
---|---|---|
2015-07-09 | coq-fiat: do not run tests on i686 | Vincent Laporte |
2015-06-10 | coqPackages.fiat: disable parallel build to fix build | Pascal Wittmann |
2015-04-30 | meta.description fixups | Joachim Fasting |
2015-01-09 | 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 |