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