Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2018-05-25 | fstar: 0.9.5.0 -> 0.9.6.0 | Gabriel Ebner | 1 | -3/+6 |
2017-11-14 | ocamlPackages.batteries: 2.7.0 -> 2.8.0 | Vincent Laporte | 1 | -1/+1 |
2017-10-02 | fstar: 0.9.4.0 -> 0.9.5.0 | Gabriel Ebner | 1 | -56/+9 |
2017-08-01 | pkgs: refactor needless quoting of homepage meta attribute (#27809) | Silvan Mosberger | 1 | -1/+1 |
2017-05-30 | fstar: fix build on darwin | Vincent Laporte | 1 | -1/+2 |
2017-05-10 | fstar: 0.9.2.0 -> 0.9.4.0 | Gabriel Ebner | 1 | -5/+16 |
2016-09-13 | fstar: disable tests https://github.com/FStarLang/FStar/issues/676 | Domen Kožar | 1 | -1/+2 |
2016-09-06 | fstar: remove workaround (#18331) | Alexander Ried | 1 | -4/+0 |
2016-06-30 | fstar: fix build on Darwin | Vincent Laporte | 1 | -2/+2 |
2016-03-13 | fstar: 2016-01-12 -> 0.9.2.0 | Joachim Fasting | 1 | -4/+6 |
2016-01-19 | fstar: init at 2016-01-12 | Ricardo M. Correia | 1 | -0/+78 |