| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | treewide: replace make/build/configure/patchFlags with nix lists | Merijn Broeren | 2019-12-30 |
| * | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 |
| * | fstar: 0.9.5.0 -> 0.9.6.0 | Gabriel Ebner | 2018-05-25 |
| * | ocamlPackages.batteries: 2.7.0 -> 2.8.0 | Vincent Laporte | 2017-11-14 |
| * | fstar: 0.9.4.0 -> 0.9.5.0 | Gabriel Ebner | 2017-10-02 |
| * | pkgs: refactor needless quoting of homepage meta attribute (#27809) | Silvan Mosberger | 2017-08-01 |
| * | fstar: fix build on darwin | Vincent Laporte | 2017-05-30 |
| * | fstar: 0.9.2.0 -> 0.9.4.0 | Gabriel Ebner | 2017-05-10 |
| * | fstar: disable tests https://github.com/FStarLang/FStar/issues/676 | Domen Kožar | 2016-09-13 |
| * | fstar: remove workaround (#18331) | Alexander Ried | 2016-09-06 |
| * | fstar: fix build on Darwin | Vincent Laporte | 2016-06-30 |
| * | fstar: 2016-01-12 -> 0.9.2.0 | Joachim Fasting | 2016-03-13 |
| * | fstar: init at 2016-01-12 | Ricardo M. Correia | 2016-01-19 |