Index of /mirror/marvin/0/ubuntu-security_amd64/pool/main/p/polymake

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]libpolymake-dev-common_4.0-2ubuntu1_all.deb2021-03-16 13:58 543K 
[ ]libpolymake-dev_4.0-2ubuntu1_amd64.deb2021-03-16 13:48 6.3K 
[ ]libpolymake4.0_4.0-2ubuntu1_amd64.deb2021-03-16 13:50 322K 
[ ]polymake-common_4.0-2ubuntu1_all.deb2021-03-16 13:39 2.3M 
[ ]polymake_4.0-2ubuntu1_amd64.deb2021-03-16 13:39 15M 
Apache/2.4.65 (Debian) Server at 7s01.7si.ch Port 1081