No matches were found for subject:"Bug#311188\: Apt repository interoperability \(was\: Bug#311188\: Debian edu messed up my Ubuntu system.\)"