Yes, change it back to problematic server, you won't have to download release ISO, all mirrors should be consistent. What happened I think, is that mirror you were using was in the process of syncing with parent server, and probably checksums were not right. That happens from time to time, and should be fixed automatically after sync is finished.
-- Repository not Updating https://bugs.launchpad.net/bugs/289455 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
