Comment 4 for bug 1861192

Also I can't find this kernel in proposed repository, I suppose this is expected(since already EOL).

linux-generic:
  Installed: 5.0.0.40.42
  Candidate: 5.0.0.40.42
  Version table:
 *** 5.0.0.40.42 500
        500 http://archive.ubuntu.com/ubuntu disco-proposed/main amd64 Packages
        100 /var/lib/dpkg/status
     5.0.0.38.40 500
        500 http://archive.ubuntu.com/ubuntu disco-updates/main amd64 Packages
        500 http://archive.ubuntu.com/ubuntu disco-security/main amd64 Packages
     5.0.0.13.14 500
        500 http://archive.ubuntu.com/ubuntu disco/main amd64 Packages