Software
Packages
Packages in pureos
agda
Builds
Builds for agda
Latest
: 2.6.4.3-1
arm64
2.6.2.2-1.1
1 year, 9 months ago