Index of /sci-mathematics/agda/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
files/2018-Dec-16 23:09:26-  Directory
Manifest2018-Jun-14 19:39:192.0Kapplication/octet-stream
agda-2.4.2.5-r2.ebuild2017-Feb-28 20:50:504.3Kapplication/octet-stream
agda-2.5.2-r1.ebuild2017-Feb-28 20:50:505.1Kapplication/octet-stream
metadata.xml2017-Feb-16 11:21:230.9Kapplication/xml
lighttpd/1.4.35