Age | Commit message (Collapse) | Author | |
---|---|---|---|
2015-07-09 | coq-fiat: do not run tests on i686 | Vincent Laporte | |
as they require too much memory | |||
2015-06-10 | coqPackages.fiat: disable parallel build to fix build | Pascal Wittmann | |
2015-04-30 | meta.description fixups | Joachim Fasting | |
Mostly scripted substitutions with a couple of subjective enhancements. | |||
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 | |