Index of /debian-ports/pool-ppc64/main/p/polymake

 Name                                    Last modified      Size  Description
 Parent Directory                                             -   
 polymake_4.0r1-3_ppc64.deb              04-May-2020 14:03   16M  
 polymake_4.0r1-3_ppc64.buildinfo        04-May-2020 14:03  9.0K  
 polymake-dbgsym_4.0r1-3_ppc64.deb       04-May-2020 14:03  947M  
 libpolymake4.0_4.0r1-3_ppc64.deb        04-May-2020 14:03  329K  
 libpolymake4.0-dbgsym_4.0r1-3_ppc64.deb 04-May-2020 14:03  6.0M  
 libpolymake-dev_4.0r1-3_ppc64.deb       04-May-2020 14:03   17K

Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80