$NetBSD: patch-configure,v 1.3 2017/12/19 08:17:21 markd Exp $

Recognize more recent coq.

--- configure~	2017-06-01 08:02:19.000000000 +0000
+++ configure
@@ -11308,7 +11308,7 @@ fi
     if test "$COQC" = "yes" ; then
       COQVERSION=`coqc -v | sed -n -e 's|.*version* *\([^ ]*\) .*$|\1|p' `
       case $COQVERSION in
-        8.4pl6|8.5*|trunk)
+        8.4pl6|8.5*|8.6*|8.7*|trunk)
           { $as_echo "$as_me:${as_lineno-$LINENO}: result: coqc version $COQVERSION found" >&5
 $as_echo "coqc version $COQVERSION found" >&6; }
           ;;
