Index of /Linux/dist/gentoo-portage/dev-libs/FP16

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]FP16-2021.03.20-r4.ebuild2023-12-30 19:10 1.1K 
[ ]Manifest2023-12-30 19:10 1.2K 
[DIR]files/2022-07-11 13:40 -  
[ ]metadata.xml2022-05-10 14:40 329  
Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443