Hi list, since a few days, Oracle's virtalbox repo¹ seems broken. Does one of you have a working URL? Thanks, Martin 1) https://download.virtualbox.org/virtualbox/debian