These repos are more trouble than they are worth.

Putting my developer's hat on I say: do it from the command line with "dpkg -i"

Unless someone can diagnose the issue for me that is?