Package: coq Version: 8.1.pl1+dfsg-3 Severity: minor File: /etc/emacs/site-start.d/50coq.el Tags: patch In /etc/emacs/site-start.d/50coq.el, (setq auto-mode-alist (cons '("\\.v$" . coq-mode) auto-mode-alist)) should read (setq auto-mode-alist (cons '("\\.v\\'" . coq-mode) auto-mode-alist))