Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[DIR]](/icons/folder.gif){kind=icon}
files/ 24-Dec-2025 07:40 -
![[ ]](/icons/unknown.gif){kind=icon}
Manifest 19-Dec-2025 11:13 2.4K
metadata.xml 13-Nov-2023 23:50 1.7K
![[TXT]](/icons/text.gif){kind=icon}
polymake-4.13.ebuild 19-Dec-2025 11:13 3.8K
polymake-4.14.ebuild 19-Dec-2025 11:13 3.7K
polymake-4.15.ebuild 19-Dec-2025 11:13 3.7K