Index of /funtoo/sci-mathematics/agda-lib-ffi

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] Manifest                16-Jun-2016 18:18  760   
[TXT] agda-lib-ffi-0.0.2-r..> 02-Mar-2017 02:29  733   
[TXT] agda-lib-ffi-0.0.2.e..> 02-Mar-2017 02:29  656   
[   ] metadata.xml            16-Jun-2016 18:18  427