Well, mine worked fine, and I think that's the repo I used, but let me try uploading a .deb... Let's see if this works.