@ Thomas, parece que você está certo, eles corrigiram o repositório.
Para usuários do Docker, a criação do contêiner - talvez seja necessário usar a opção --no-cache
para evitar a criação do seu sistema a partir de um contêiner intermediário ruim - fará o trabalho.
Para usuários normais, apenas reexecutando sudo apt-get update
resolverá os pacotes quebrados, tanto com os pacotes Java dos quais falei anteriormente, quanto com os pacotes libc descritos nesta questão.
Obrigado a quem quer que tenha resolvido os acordos!