cryptol version history (formula)
cryptol
formula 23 versions
since Apr 2015
~198 days between updates
Track cryptol — subscribe to the RSS feed to get an item each time it updates.
| Version | Updated | Commit |
|---|---|---|
| 3.5.0 | 2026-01-30 | d08134bb3 |
| 3.4.0 | 2025-11-22 | 23c9f7619 |
| 3.3.0 | 2025-03-26 | eb486cf34 |
| 3.2.0 | 2024-08-20 | 2b6ac59ca |
| 3.1.0 | 2024-02-06 | 56a62f177 |
| 3.0.0 | 2023-06-26 | 1037a87ba |
| 2.13.0 | 2022-09-13 | b939326c7 |
| 2.12.0 | 2021-10-09 | b2abe32a7 |
| 2.11.0 | 2021-03-25 | 578f87dce |
| 2.10.0 | 2021-02-17 | a1fbb9635 |
| 2.10.0 | 2020-11-19 | fd0119dea |
| 2.9.1 | 2020-09-01 | 0a337ebdd |
| 2.9.0 | 2020-08-08 | f7129d96c |
| 2.9.0 | 2020-08-02 | a6ad5f3aa |
| 2.8.0 | 2019-09-05 | 41765158e |
| 2.7.0 | 2019-05-19 | 7da23aaa2 |
| 2.6.0 | 2018-08-02 | 470ef232f |
| 2.5.0 | 2017-07-26 | 2b343e35c |
| 2.4.0 | 2016-07-07 | 61ba4eb6a |
| 2.3.0 | 2016-01-20 | 66260b0ff |
| 2.2.6 | 2015-12-25 | aa68ab2eb |
| 2.2.4 | 2015-06-02 | 4e23216eb |
| 2.2.2 | 2015-04-10 | 7cb10af7a |