Debian info update, OBS target
v 13.10