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