Comment 56 for bug 1731459

@Simon: That's because I had been lazy and not uploaded to disco (since it's identical with the package version in eoan). But I just uploaded to disco, so now (i.e. in a few minutes) you should be able to do:

sudo apt update

to fix it.

My apologies.