| 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 |
 |
index : nixpkgs | |
| Contrib clone of nixpkgs | matthias |
| summaryrefslogtreecommitdiffstats |