Index of /mirror/ports.ubuntu.com/ubuntu-ports/pool/universe/p/polymake/

../
libpolymake-dev-common_4.11-2build5_all.deb        01-Apr-2024 10:34              603464
libpolymake-dev_4.11-2build5_arm64.deb             31-Mar-2024 13:23                6616
libpolymake4.11_4.11-2build5_arm64.deb             31-Mar-2024 13:23              322212
polymake-common_4.11-2build5_all.deb               01-Apr-2024 10:34             5483828
polymake_4.11-2build5_arm64.deb                    31-Mar-2024 13:23            13061958