Index of /nova/pool/extendido/p/polymake/

../
polymake_3.0r1-4.debian.tar.xz                     22-Nov-2018 08:09                8172
polymake_3.0r1-4.dsc                               22-Nov-2018 08:09                1970
polymake_3.0r1-4_amd64.deb                         22-Nov-2018 08:03            15697942
polymake_3.0r1-4_i386.deb                          22-Nov-2018 05:18            16476010
polymake_3.0r1.orig.tar.bz2                        22-Nov-2018 08:09             2401930