Comment 39 for bug 762968

I think those of you who still have the problem may just have to wait for your local mirrors to sync. I, too, still had the problem after it was marked fixed, but a day and an "apt-get update" later, it worked.