Index of /mirror/deb.debian.org/debian/pool/main/p/polymake/

../
libpolymake-dev-common_4.6-5_all.deb               22-Jul-2022 17:26    582K
libpolymake-dev_4.6-5+b2_amd64.deb                 11-Dec-2022 18:14     19K
libpolymake4.6_4.6-5+b2_amd64.deb                  11-Dec-2022 18:14    342K
polymake-common_4.6-5_all.deb                      22-Jul-2022 17:26      4M
polymake_4.6-5+b2_amd64.deb                        11-Dec-2022 18:14     21M