Index of /debian/pool/main/p/polymake/


../
libpolymake-dev-common_3.2r4-4_all.deb             14-Jan-2019 11:23              534748
libpolymake-dev_3.2r4-4_amd64.deb                  14-Jan-2019 10:42               14876
libpolymake3.2_3.2r4-4_amd64.deb                   14-Jan-2019 10:42              297276
polymake-common_3.2r4-4_all.deb                    14-Jan-2019 11:23             1905900
polymake_3.0r2-2+b1_amd64.deb                      24-Sep-2016 13:54            15365814
polymake_3.0r2-2.debian.tar.xz                     30-Aug-2016 12:53                8600
polymake_3.0r2-2.dsc                               30-Aug-2016 12:53                2127
polymake_3.0r2.orig.tar.bz2                        29-Jul-2016 18:39             2402365
polymake_3.2r4-4.debian.tar.xz                     14-Jan-2019 08:34               10156
polymake_3.2r4-4.dsc                               14-Jan-2019 08:34                2279
polymake_3.2r4-4_amd64.deb                         14-Jan-2019 10:42            14857288
polymake_3.2r4.orig.tar.bz2                        27-Nov-2018 10:44             3119317