[wp] configure checks for correct Coq version

src/plugins/wp/configure.ac

@@ -85,7 +85,7 @@ if test "$ENABLE_WP" != "no"; then
     if test "$COQC" = "yes" ; then
       COQVERSION=`coqc -v | sed -n -e 's|.*version* *\([[^ ]]*\) .*$|\1|p' `
       case $COQVERSION in
-        8.12.*|trunk)
+        8.13.*|trunk)
           AC_MSG_RESULT(coqc version $COQVERSION found)
           ;;
         *)