https://github.com/EasyCrypt/easycrypt
Branch name | Release name | Target | Message | Date |
---|---|---|---|---|
refs/tags/r2025.03 | r2025.03 | 75718ab | 25 March 2025, 18:55:42 UTC | |
refs/tags/r2025.02 | r2025.02 | 46099ed | 13 February 2025, 20:44:36 UTC | |
refs/tags/r2024.01 | r2024.01 | 2b3bbad | 15 December 2023, 19:16:51 UTC | |
refs/tags/r2023.09 | r2023.09 | a214a56 | 11 September 2023, 14:24:03 UTC | |
refs/tags/r2022.04 | r2022.04 | 577c882 | 27 April 2022, 09:49:02 UTC |