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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]polymake_3.0r2-2.dsc2016-08-30 17:53 2.1K 
[   ]polymake_3.2r4-4.dsc2019-01-14 12:34 2.2K 
[   ]polymake_3.0r2-2.debian.tar.xz2016-08-30 17:53 8.4K 
[   ]polymake_3.2r4-4.debian.tar.xz2019-01-14 12:34 9.9K 
[   ]libpolymake-dev_3.2r4-4_amd64.deb2019-01-14 14:42 15K 
[   ]libpolymake-dev_3.2r4-4_i386.deb2019-01-15 12:56 15K 
[   ]libpolymake3.2_3.2r4-4_amd64.deb2019-01-14 14:42 290K 
[   ]libpolymake3.2_3.2r4-4_i386.deb2019-01-15 12:56 313K 
[   ]libpolymake-dev-common_3.2r4-4_all.deb2019-01-14 15:23 522K 
[   ]polymake-common_3.2r4-4_all.deb2019-01-14 15:23 1.8M 
[   ]polymake_3.0r2.orig.tar.bz22016-07-29 23:39 2.3M 
[   ]polymake_3.2r4.orig.tar.bz22018-11-27 14:44 3.0M 
[   ]polymake_3.2r4-4_amd64.deb2019-01-14 14:42 14M 
[   ]polymake_3.0r2-2+b1_amd64.deb2016-09-24 18:54 15M 
[   ]polymake_3.2r4-4_i386.deb2019-01-15 12:56 15M 
[   ]polymake_3.0r2-2+b1_i386.deb2016-09-24 19:25 16M 

Apache/2.4.25 (Debian) Server at osmirror.rug.nl Port 80