Installation on Ubuntu 18.04 is broken

[bachmeier]

On Saturday, 2 June 2018 at 00:11:58 UTC, Seb wrote:
> The bug you referenced has long been fixed and is part of 
> 2.080.0

I guess my computer was trolling me then, because it didn't work.

> Please do report a bug with instructions on how to reproduce if 
> you are still experiencing problems.

As I wrote in the post that followed, it worked after I 
uninstalled, installed an additional package, and reinstalled.