Agda

No description set
Refresh
Refresh
Source Files
Filename Size Changed Actions
Agda-2.5.2.tar.gz 0001240885 1.18 MB almost 3 years
Agda.cabal 0000027524 26.9 KB almost 3 years
Agda.changes 0000000515 515 Bytes almost 3 years
Agda.spec 0000007410 7.24 KB almost 3 years
Comments for Agda 0