Okay, so I ran
sudo zypper in openSUSE-repos-Tumbleweed
sudo zypper mr -d openSUSE:repo-oss
sudo zypper mr -d openSUSE:Tumbleweed
and then tried to run sudo zypper in ghc-containers. I’m not seeing the download failure anymore, but only because I’m told there is no provider of that package at all.
❯ sudo zypper clean -a
All repositories have been cleaned up.
❯ sudo zypper refresh -f
<snipped>
❯ sudo zypper in ghc-containers
Refreshing service 'openSUSE'.
Loading repository data...
Reading installed packages...
'ghc-containers' not found in package names. Trying capabilities.
No provider of 'ghc-containers' found.
Resolving package dependencies...
Nothing to do.
❯ sudo zypper lr -d
Refreshing service 'openSUSE'.
# | Alias | Name | Enabled | GPG Check | Refresh | Keep | Priority | Type | URI | Service
---+--------------------------------------+--------------------------------+---------+-----------+---------+------+----------+--------+--------------------------------------------------------------------------------+---------
1 | https-download.opensuse.org-985032ef | openSUSE:Tumbleweed | No | ---- | ---- | - | 99 | rpm-md | https://download.opensuse.org/repositories/openSUSE:/Tumbleweed/standard/ |
2 | openSUSE:repo-non-oss | repo-non-oss | Yes | (r ) Yes | Yes | - | 99 | rpm-md | http://cdn.opensuse.org/tumbleweed/repo/non-oss | openSUSE
3 | openSUSE:repo-openh264 | repo-openh264 | Yes | (r ) Yes | Yes | - | 99 | rpm-md | https://codecs.opensuse.org/openh264/openSUSE_Tumbleweed | openSUSE
4 | openSUSE:repo-oss | repo-oss | No | ---- | ---- | - | 99 | rpm-md | http://cdn.opensuse.org/tumbleweed/repo/oss | openSUSE
5 | openSUSE:repo-oss-debug | repo-oss-debug | No | ---- | ---- | - | 99 | N/A | http://cdn.opensuse.org/debug/tumbleweed/repo/oss | openSUSE
6 | openSUSE:repo-oss-source | repo-oss-source | No | ---- | ---- | - | 99 | N/A | http://cdn.opensuse.org/source/tumbleweed/repo/oss | openSUSE
7 | openSUSE:update-tumbleweed | update-tumbleweed | Yes | (r ) Yes | Yes | - | 99 | rpm-md | http://cdn.opensuse.org/update/tumbleweed | openSUSE
8 | packman | packman | Yes | (r ) Yes | Yes | - | 90 | rpm-md | https://ftp.gwdg.de/pub/linux/misc/packman/suse/openSUSE_Tumbleweed/ |
It looks like openSUSE:repo-oss is the only place that was providing that: re-enabling it returns me to the size mismatch I saw before.