Skip to content

Releases: codewars/agda

2.6.2.2

09 Jun 06:25
203ce22

Choose a tag to compare

Try to build Agda 2.6.2.2 (#1)

2.6.0

08 Jun 00:23

Choose a tag to compare

Add files