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

 Name                           Last modified      Size  Description
 Parent Directory                                    -   
 polymake_3.0r2.orig.tar.bz2    2016-07-29 23:39  2.3M  
 polymake_3.0r2-2.debian.tar.xz 2016-08-30 17:53  8.4K  
 polymake_3.0r2-2.dsc           2016-08-30 17:53  2.1K  
 polymake_3.0r2-2+b1_amd64.deb  2016-09-24 18:54   15M  
 polymake_3.0r2-2+b1_i386.deb   2016-09-24 19:25   16M