../ libpolymake-dev-common_3.2r4-4_all.deb 14-Jan-2019 14:23 534748 libpolymake-dev_3.2r4-4_amd64.deb 14-Jan-2019 13:42 14876 libpolymake3.2_3.2r4-4_amd64.deb 14-Jan-2019 13:42 297276 polymake-common_3.2r4-4_all.deb 14-Jan-2019 14:23 1905900 polymake_3.2r4-4.debian.tar.xz 14-Jan-2019 11:34 10156 polymake_3.2r4-4.dsc 14-Jan-2019 11:34 2279 polymake_3.2r4-4_amd64.deb 14-Jan-2019 13:42 14857288 polymake_3.2r4.orig.tar.bz2 27-Nov-2018 13:44 3119317