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