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