Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
Manifest 26-Nov-2025 14:41 2.4K
![[DIR]](/icons/folder.gif){kind=icon}
files/ 28-Nov-2025 08:42 -
metadata.xml 14-Nov-2023 06:50 1.7K
![[TXT]](/icons/text.gif){kind=icon}
polymake-4.13.ebuild 19-Apr-2025 02:36 3.8K
polymake-4.14.ebuild 24-Jul-2025 06:11 3.7K
polymake-4.15.ebuild 26-Nov-2025 14:41 3.7K