Index of /gentoo-portage/sci-mathematics/agda-lib-ffi

Icon  Name                             Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] Manifest 2020-05-18 03:09 1.5K [TXT] agda-lib-ffi-0.0.2-r2.ebuild 2020-05-18 03:09 731 [   ] agda-lib-ffi-0.0.2.ebuild 2020-05-18 03:09 655 [TXT] metadata.xml 2016-04-04 07:24 427