libpolymake-dev-common_4.15-2_all.deb
libpolymake-dev_4.15-2+b3_amd64.deb
libpolymake4.15_4.15-2+b3_amd64.deb
polymake-common_4.15-2_all.deb
polymake_4.15-2+b3_amd64.deb
polymake_4.15-2.debian.tar.xz
polymake_4.15-2.dsc
polymake_4.15.orig.tar.bz2