Comment 12 for bug 924079

Oh, hah! I see, that's just my mirror being a couple of days behind. Trying again with 0.8.16~exp12ubuntu3