Any progress with patches for openGL ES for Arm? It is now a real problem as it makes some packages unresolvables in Factory:ARM, such as insighttoolkit.