../ widelands-0.17-cxxflags.patch 09-Aug-2015 00:38 1733 widelands-0.17-gcc47.patch 09-Aug-2015 00:38 247 widelands-0.18-cxxflags.patch 24-Mar-2016 15:09 1061