agda Releases

2.7.0 August 21st, 2024 00:45
2.6.4.3.post1 August 20th, 2024 21:32
2.6.4.3 May 10th, 2024 12:18
2.6.4.1 May 9th, 2024 17:49
2.6.4 March 1st, 2024 18:22
2.6.3.post1 August 4th, 2023 01:18
2.6.3 August 3rd, 2023 20:40

Subscribe to an RSS feed of agda releases