../ libpolymake-dev-common_3.2r4-4_all.deb 14-Jan-2019 14:23 534748 libpolymake-dev_3.2r4-4_armhf.deb 14-Jan-2019 13:25 14876 libpolymake3.2_3.2r4-4_armhf.deb 20-Jan-2019 10:08 242140 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_armhf.deb 20-Jan-2019 10:08 11007396 polymake_3.2r4.orig.tar.bz2 27-Nov-2018 13:44 3119317