No matches were found for subject:"Bug#868873\: dependence on libmumps\-4.10.0 _AND_ libmumps\-5.1.1 breaks make"