../ libpolymake-dev-common_3.2r2-3_all.deb 01-Mar-2018 11:24 527284 libpolymake-dev_3.2r2-3_i386.deb 01-Mar-2018 11:24 6396 libpolymake3.2_3.2r2-3_i386.deb 01-Mar-2018 11:24 302472 polymake-common_3.2r2-3_all.deb 01-Mar-2018 11:24 1882016 polymake_3.2r2-3.debian.tar.xz 01-Mar-2018 05:09 10352 polymake_3.2r2-3.dsc 01-Mar-2018 05:09 2305 polymake_3.2r2-3_i386.deb 01-Mar-2018 11:24 16105300 polymake_3.2r2.orig.tar.bz2 28-Feb-2018 10:45 3116865