Managing Debian repo, upping to 1.3.2