Logo Search packages:      
Package agda is available in following versions:

VersionDocumentationDownload
2.2.10-1-Download
2.2.10-1~ubuntu1-Download
2.2.10-2-Download
2.2.10-3-Download
2.2.10-3build1-Download
2.2.10-4-Download
2.2.4+dfsg-Download
2.2.4+dfsg-1-Download
2.2.6-Download
2.2.6-1-Download
2.2.6-2-Download
2.2.6-2ubuntu1-Download
2.2.6-3-Download
2.2.6-4-Download
2.2.6-5-Download
2.2.6-6-Download
2.2.6-7-Download
2.2.6-7build1-Download
2.2.6-7build2-Download
2.2.8-1-Download
2.3.0-1Show documentationDownload
2.3.0-1build1Show documentationDownload
2.3.0-1build2Show documentationDownload
2.3.0.1-1-Download
2.3.0.1-1build1-Download
2.3.0.1-1build2-Download
2.3.0.1-2-Download
2.3.0.1-2build1-Download
2.3.2-1-Download
2.3.2-2-Download
2.3.2-3-Download
2.3.2-4-Download
2.3.2.1-1-Download
2.3.2.1-2-Download
2.3.2.1-2build1-Download
2.3.2.2-1-Download