Can you try the appropriate deb for your arch at http://ddebs.ubuntu.com/pool/universe/s/stlport5.1/ ?
Can you try the appropriate deb for your arch at http:// ddebs.ubuntu. com/pool/ universe/ s/stlport5. 1/ ?