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

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 libpolymake-dev-common_3.2r4-4_all.deb 14-Jan-2019 15:23  522K  
 libpolymake-dev-common_4.0-2_all.deb   07-Feb-2020 15:29  552K  
 libpolymake-dev-common_4.0r1-1_all.deb 30-Apr-2020 18:52  552K  
 libpolymake-dev-common_4.0r1-2_all.deb 02-May-2020 15:14  552K  
 libpolymake-dev-common_4.0r1-3_all.deb 04-May-2020 15:55  552K  
 polymake-common_3.2r4-4_all.deb        14-Jan-2019 15:23  1.8M  
 polymake-common_4.0-2_all.deb          07-Feb-2020 15:29  2.3M  
 polymake-common_4.0r1-1_all.deb        30-Apr-2020 18:52  2.3M  
 polymake-common_4.0r1-2_all.deb        02-May-2020 15:14  2.3M  
 polymake-common_4.0r1-3_all.deb        04-May-2020 15:55  2.3M