Hi, I've proposed a merge request to support 7zip as https://bugs.debian.org//714698, and it may be able to solve this #741268 issue, but not sure.
Do you still have openclonk-5.4.1-src.tar.bz2? I cannot find it from the web. -- Regards, Hideki Yamane henrich @ debian.org/iijmio-mail.jp
