fstar version history (formula)
fstar
formula removed 4 versions
since Sep 2016
~197 days between updates
| Version | Updated | Commit |
|---|---|---|
| 0.9.6.0 | 2018-05-31 | 5916cf090 |
| 0.9.5.0 | 2017-08-23 | 2cfb84810 |
| 0.9.4.0 | 2017-02-07 | 1273115fe |
| 0.9.2.0 | 2016-09-18 | 303660134 |