Skip to content

Releases: codewars/agda

2.6.2.2

09 Jun 06:25
203ce22
Compare
Choose a tag to compare
Try to build Agda 2.6.2.2 (#1)

2.6.0

08 Jun 00:23
Compare
Choose a tag to compare
Add files