No matches were found for subject:"Bug#585452\: coq\: FTBFS with OCaml 3.12 because of bugfix in typechecking of inheritance"