idris version history (formula)
idris
formula removed 32 versions
since Nov 2014
~39 days between updates
| Version | Updated | Commit |
|---|---|---|
| 1.3.4 | 2021-10-24 | dea9ac0d0 |
| 1.3.3 | 2020-05-25 | 0ee21acec |
| 1.3.2 | 2019-07-22 | 45ba083d9 |
| 1.3.1 | 2018-10-25 | c19488f7c |
| 1.3.0 | 2018-05-27 | e249eb7d0 |
| 1.2.0 | 2018-01-08 | 16bf3b83e |
| 1.1.1 | 2017-08-06 | c129b14b0 |
| 1.1.0 | 2017-08-01 | 0a3a793d5 |
| 1.0 | 2017-04-01 | 9b9d84040 |
| 0.99.2 | 2017-03-26 | d33ae6f7b |
| 0.99.1 | 2017-03-08 | 04396068c |
| 0.99 | 2016-12-09 | 43b646fbc |
| 0.12.3 | 2016-09-18 | 6f99d38ec |
| 0.12.2 | 2016-08-04 | 8bbac8492 |
| 0.12.1 | 2016-07-26 | 3d2d06d75 |
| 0.12 | 2016-06-21 | 0e6c0debe |
| 0.12 | 2016-06-21 | c68578343 |
| 0.11.2 | 2016-06-02 | a93d45401 |
| 0.11.2 | 2016-05-24 | 74f11d52c |
| 0.11 | 2016-03-27 | ec35c6a73 |
| 0.10.2 | 2016-02-28 | 3731530f6 |
| 0.10 | 2016-01-21 | b95dd4a8e |
| 0.9.20.2 | 2015-12-23 | 618bb586d |
| 0.9.20.1 | 2015-11-24 | 6beb6dbcd |
| 0.9.20 | 2015-11-08 | 456015781 |
| 0.9.19.1 | 2015-10-11 | d18f4e068 |
| 0.9.19 | 2015-09-10 | f29cb8d09 |
| 0.9.18.1 | 2015-08-09 | c6b5f5233 |
| 0.9.18 | 2015-05-18 | 5eb35faae |
| 0.9.17 | 2015-03-21 | 746894c1f |
| 0.9.16 | 2015-01-15 | 323c14d73 |
| 0.9.15.1 | 2014-11-04 | ac9caebd0 |