libsdl1.2debian: v1.2.15+dfsg2-5