The deb repository may be experiencing some slight issues for the next hour or so. If installing the debs is not working for you, please be patient. It will be functional again shortly. --Jeremy