No matches were found for subject:"Bug#854147\: coq\: ERROR\: coq is broken \- called emacs\-package\-install as a new\-style add\-on, but has no compat file."