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

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]polymake_4.3.orig.tar.bz22021-01-19 15:55 5.4M
[   ]polymake_4.3-4_mips64el.deb2021-04-09 00:46 11M
[   ]polymake_4.3-4_i386.deb2021-04-08 02:28 21M
[   ]polymake_4.3-4_amd64.deb2021-04-08 03:44 19M
[   ]polymake_4.3-4.dsc2021-04-07 23:57 2.5K
[   ]polymake_4.3-4.debian.tar.xz2021-04-07 23:57 11K
[   ]polymake_3.2r4.orig.tar.bz22018-11-27 14:44 3.0M
[   ]polymake_3.2r4-4_mips64el.deb2019-01-15 13:32 12M
[   ]polymake_3.2r4-4_i386.deb2019-01-15 12:56 15M
[   ]polymake_3.2r4-4_amd64.deb2019-01-14 14:42 14M
[   ]polymake_3.2r4-4.dsc2019-01-14 12:34 2.2K
[   ]polymake_3.2r4-4.debian.tar.xz2019-01-14 12:34 9.9K
[   ]polymake_3.0r2.orig.tar.bz22016-07-29 23:39 2.3M
[   ]polymake_3.0r2-2.dsc2016-08-30 17:53 2.1K
[   ]polymake_3.0r2-2.debian.tar.xz2016-08-30 17:53 8.4K
[   ]polymake_3.0r2-2+b1_mips64el.deb2016-09-25 11:40 12M
[   ]polymake_3.0r2-2+b1_i386.deb2016-09-24 19:25 16M
[   ]polymake_3.0r2-2+b1_amd64.deb2016-09-24 18:54 15M
[   ]polymake-common_4.3-4_all.deb2021-04-08 01:53 3.7M
[   ]polymake-common_3.2r4-4_all.deb2019-01-14 15:23 1.8M
[   ]libpolymake4.3_4.3-4_mips64el.deb2021-04-09 00:46 270K
[   ]libpolymake4.3_4.3-4_i386.deb2021-04-08 02:28 356K
[   ]libpolymake4.3_4.3-4_amd64.deb2021-04-08 03:44 330K
[   ]libpolymake3.2_3.2r4-4_mips64el.deb2019-01-15 13:32 263K
[   ]libpolymake3.2_3.2r4-4_i386.deb2019-01-15 12:56 313K
[   ]libpolymake3.2_3.2r4-4_amd64.deb2019-01-14 14:42 290K
[   ]libpolymake-dev_4.3-4_mips64el.deb2021-04-09 00:46 19K
[   ]libpolymake-dev_4.3-4_i386.deb2021-04-08 02:28 19K
[   ]libpolymake-dev_4.3-4_amd64.deb2021-04-08 03:44 19K
[   ]libpolymake-dev_3.2r4-4_mips64el.deb2019-01-15 13:32 15K
[   ]libpolymake-dev_3.2r4-4_i386.deb2019-01-15 12:56 15K
[   ]libpolymake-dev_3.2r4-4_amd64.deb2019-01-14 14:42 15K
[   ]libpolymake-dev-common_4.3-4_all.deb2021-04-08 01:53 559K
[   ]libpolymake-dev-common_3.2r4-4_all.deb2019-01-14 15:23 522K

Apache/2.4.59 (Debian) Server at debian.inet.de Port 80