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

VersionDocumentationDownload
0.3-Download
0.3-1-Download
0.3-1ubuntu2-Download
0.3-2-Download
0.3-3-Download
0.3-3fakesync-Download
0.5-Download
0.5-1-Download
0.5-1~ubuntu1-Download
0.6-1Show documentationDownload
0.6-2-Download
0.6~darcs20111129t1640-1-Download
0.7-1-Download
0.7-2-Download