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))