Back to index

Versions of agda

Version Filename Size Documentation
2.2.4+dfsgagda_2.2.4+dfsg.orig.tar.gz 368.89 KB-
2.2.6agda_2.2.6.orig.tar.gz 414.44 KB-