../ libpolymake-dev-common_4.6-5_all.deb 22-Jul-2022 17:26 596280 libpolymake-dev_4.6-5+b2_amd64.deb 11-Dec-2022 18:14 19896 libpolymake4.6_4.6-5+b2_amd64.deb 11-Dec-2022 18:14 349812 polymake-common_4.6-5_all.deb 22-Jul-2022 17:26 3942940 polymake_4.6-5+b2_amd64.deb 11-Dec-2022 18:14 21595492 polymake_4.6-5.debian.tar.xz 22-Jul-2022 12:17 12324 polymake_4.6-5.dsc 22-Jul-2022 12:17 2587 polymake_4.6.orig.tar.bz2 22-Apr-2022 20:21 5634651