ICPC_Linux_open_source_code(rev2).zip 11. srpna 2011 Operační systém Linux Typ souboru Ovladače Verze rev2 32-bit