Index of /linux/debian/debian-ports/pool-alpha/main/p/polymake

 Name                                          Last modified      Size  
 Parent Directory                                                   -   
 polymake-dbgsym_3.0r2-2+b1_alpha.deb          2016-09-26 08:03  575M  
 polymake_3.0r2-2+b1_alpha.deb                 2016-09-26 08:03   14M