No matches were found for subject:"Bug#865526\: closed by Gianfranco Costamagna <locutusofb...@debian.org> \(Re\: libpetsc3.7.5\-dev\: uninstallable on current sid\)"