Adding Debian repo