Skip to main content

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

Required fields*

10
  • If you download the file manually (it appears that the downloaded file has correct hash) and copy it to your rpm cache directory, then install it. The apt should take the file from its cache. Commented Jun 22, 2020 at 9:37
  • rpm ist not installed on my system. Where would I find the cache directory? Commented Jun 22, 2020 at 13:20
  • found the apt cache directory under /var/cache/apt/archives/. Copying the deb file there and then installing works but this is a pretty dirty workaround and not a permanent fix... Commented Jun 22, 2020 at 13:25
  • 1
    Ah, sorry about the rpm I meant the deb. Well that is not a dirty workaround, it is simply a workaround (you do manually what apt does anyways). You probably have some issue with ISP's proxy. Can you connect to some VPN and try it there? Perpahs you could try a different source? Commented Jun 22, 2020 at 13:50
  • 2
    Are you on Windows? Might be this bug Commented Jun 24, 2020 at 9:00