../ libpolymake-dev-common_3.2r2-3_all.deb 28-May-2020 18:06 527284 libpolymake-dev_3.2r2-3_amd64.deb 28-May-2020 17:35 6396 libpolymake3.2_3.2r2-3_amd64.deb 28-May-2020 17:33 278268 polymake-common_3.2r2-3_all.deb 28-May-2020 17:57 1882016 polymake_3.0r1-4_amd64.deb 28-May-2020 21:56 15697942 polymake_3.2r2-3_amd64.deb 28-May-2020 17:34 14848856