Index of /201712060457/raspbian/pool/main/p/polymake/

../
polymake_3.0r2-2.debian.tar.xz                     30-Aug-2016 15:53                8600
polymake_3.0r2-2.dsc                               30-Aug-2016 15:53                2127
polymake_3.0r2.orig.tar.bz2                        29-Jul-2016 21:39             2402365
polymake_3.1-5.debian.tar.xz                       15-Aug-2017 22:35               10056
polymake_3.1-5.dsc                                 15-Aug-2017 22:35                1972
polymake_3.1.orig.tar.bz2                          10-Jun-2017 16:47             2853223