Index of ftp://gentoo.inode.at/gentoo-portage/sci-mathematics/agda-lib-ffi
Parent Directory
agda-lib-ffi-0.0.2.ebuild
655.00b
May 17 2020 at 17:09
agda-lib-ffi-0.0.2-r2.ebuild
731.00b
May 17 2020 at 17:09
Manifest
1.49Kb
May 17 2020 at 17:09
metadata.xml
427.00b
April 3 2016
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory![[ ]](/icons/unknown.gif){kind=icon}
agda-lib-ffi-0.0.2.ebuild agda-lib-ffi-0.0.2-r2.ebuild Manifest![[TXT]](/icons/text.gif){kind=icon}
metadata.xml