Updating how to install Leap on Debian