../ libpolymake-dev-common_3.2r2-3_all.deb 02-Oct-2018 09:45 527284 libpolymake-dev_3.2r2-3_amd64.deb 02-Oct-2018 09:30 6396 libpolymake3.2_3.2r2-3_amd64.deb 02-Oct-2018 09:31 278268 polymake-common_3.2r2-3_all.deb 02-Oct-2018 09:41 1882016 polymake_3.0r1-4_amd64.deb 16-Mar-2016 10:23 15697942 polymake_3.2r2-3_amd64.deb 02-Oct-2018 09:38 14848856