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

 Name                                 Last modified      Size  Description
 Parent Directory                                          -   
 libpolymake-dev-common_4.6-5_all.deb 2022-07-22 19:26  582K  
 libpolymake-dev_4.6-5+b2_amd64.deb   2022-12-11 19:14   19K  
 libpolymake4.6_4.6-5+b2_amd64.deb    2022-12-11 19:14  342K  
 polymake-common_4.6-5_all.deb        2022-07-22 19:26  3.8M  
 polymake_4.6-5+b2_amd64.deb          2022-12-11 19:14   21M  
 polymake_4.6-5.debian.tar.xz         2022-07-22 14:17   12K  
 polymake_4.6-5.dsc                   2022-07-22 14:17  2.5K  
 polymake_4.6.orig.tar.bz2            2022-04-22 22:21  5.4M