why3 version history (formula)
why3
formula removed 2 versions
since Jan 2015
~110 days between updates
| Version | Updated | Commit |
|---|---|---|
| 0.86.1 | 2015-05-19 | 758f6e953 |
| 0.85 | 2015-01-28 | 041997955 |
why3 version history (formula)
| Version | Updated | Commit |
|---|---|---|
| 0.86.1 | 2015-05-19 | 758f6e953 |
| 0.85 | 2015-01-28 | 041997955 |