Support for debian repository URI

The URI for Debian is only slightly different from the Ubuntu one: its last section is 'debian' instead of 'ubuntu'.

By interpolating the platform, we can easily support both distributions.