Index of /gentoo-portage/sci-mathematics/agda/files/

NameLast ModifiedSizeType
../ -  Directory
50agda2-gentoo.el2015-Aug-09 06:08:180.3Kapplication/octet-stream
agda-2.4.2.5-hashtables.patch2016-Feb-09 03:45:490.5Ktext/x-diff;charset=utf-8
lighttpd/1.4.69