[vendor] Bump Coq and SerAPI

Author: ejgallego

test/compiler/run.t

@@ -7,7 +7,7 @@ Describe the project
    - coqlib is at: [TEST_PATH]
      + coqcorelib is at: [TEST_PATH]
    - Modules [Coq.Init.Prelude] will be loaded by default
-   - 2 Coq path directory bindings in scope; 23 Coq plugin directory bindings in scope
+   - 2 Coq path directory bindings in scope; 24 Coq plugin directory bindings in scope
    - ocamlpath wasn't overriden
      + findlib config: [TEST_PATH]
      + findlib default location: [TEST_PATH]
@@ -18,7 +18,7 @@ Compile a single file, don't generate a `.vo` file:
    - coqlib is at: [TEST_PATH]
      + coqcorelib is at: [TEST_PATH]
    - Modules [Coq.Init.Prelude] will be loaded by default
-   - 2 Coq path directory bindings in scope; 23 Coq plugin directory bindings in scope
+   - 2 Coq path directory bindings in scope; 24 Coq plugin directory bindings in scope
    - ocamlpath wasn't overriden
      + findlib config: [TEST_PATH]
      + findlib default location: [TEST_PATH]
@@ -35,7 +35,7 @@ Compile a single file, generate a .vo file
    - coqlib is at: [TEST_PATH]
      + coqcorelib is at: [TEST_PATH]
    - Modules [Coq.Init.Prelude] will be loaded by default
-   - 2 Coq path directory bindings in scope; 23 Coq plugin directory bindings in scope
+   - 2 Coq path directory bindings in scope; 24 Coq plugin directory bindings in scope
    - ocamlpath wasn't overriden
      + findlib config: [TEST_PATH]
      + findlib default location: [TEST_PATH]
@@ -56,7 +56,7 @@ Compile a dependent file
    - coqlib is at: [TEST_PATH]
      + coqcorelib is at: [TEST_PATH]
    - Modules [Coq.Init.Prelude] will be loaded by default
-   - 2 Coq path directory bindings in scope; 23 Coq plugin directory bindings in scope
+   - 2 Coq path directory bindings in scope; 24 Coq plugin directory bindings in scope
    - ocamlpath wasn't overriden
      + findlib config: [TEST_PATH]
      + findlib default location: [TEST_PATH]
@@ -77,7 +77,7 @@ Compile both files
    - coqlib is at: [TEST_PATH]
      + coqcorelib is at: [TEST_PATH]
    - Modules [Coq.Init.Prelude] will be loaded by default
-   - 2 Coq path directory bindings in scope; 23 Coq plugin directory bindings in scope
+   - 2 Coq path directory bindings in scope; 24 Coq plugin directory bindings in scope
    - ocamlpath wasn't overriden
      + findlib config: [TEST_PATH]
      + findlib default location: [TEST_PATH]
@@ -100,7 +100,7 @@ Compile a dependent file without the dep being built
    - coqlib is at: [TEST_PATH]
      + coqcorelib is at: [TEST_PATH]
    - Modules [Coq.Init.Prelude] will be loaded by default
-   - 2 Coq path directory bindings in scope; 23 Coq plugin directory bindings in scope
+   - 2 Coq path directory bindings in scope; 24 Coq plugin directory bindings in scope
    - ocamlpath wasn't overriden
      + findlib config: [TEST_PATH]
      + findlib default location: [TEST_PATH]
@@ -132,8 +132,8 @@ Compile a dependent file without the dep being built
   $ cat proj1/b.diags
   {
     "range": {
-      "start": { "line": 0, "character": 0 },
-      "end": { "line": 0, "character": 10 }
+      "start": { "line": 0, "character": 8 },
+      "end": { "line": 0, "character": 9 }
     },
     "severity": 1,
     "message": "Cannot find a physical path bound to logical path a."
@@ -154,15 +154,15 @@ Use two workspaces
    - coqlib is at: [TEST_PATH]
      + coqcorelib is at: [TEST_PATH]
    - Modules [Coq.Init.Prelude] will be loaded by default
-   - 2 Coq path directory bindings in scope; 23 Coq plugin directory bindings in scope
+   - 2 Coq path directory bindings in scope; 24 Coq plugin directory bindings in scope
    - ocamlpath wasn't overriden
      + findlib config: [TEST_PATH]
      + findlib default location: [TEST_PATH]
   [message] Configuration loaded from Command-line arguments
    - coqlib is at: [TEST_PATH]
      + coqcorelib is at: [TEST_PATH]
    - Modules [Coq.Init.Prelude] will be loaded by default
-   - 2 Coq path directory bindings in scope; 23 Coq plugin directory bindings in scope
+   - 2 Coq path directory bindings in scope; 24 Coq plugin directory bindings in scope
    - ocamlpath wasn't overriden
      + findlib config: [TEST_PATH]
      + findlib default location: [TEST_PATH]
@@ -181,7 +181,7 @@ Load the example plugin
    - coqlib is at: [TEST_PATH]
      + coqcorelib is at: [TEST_PATH]
    - Modules [Coq.Init.Prelude] will be loaded by default
-   - 2 Coq path directory bindings in scope; 23 Coq plugin directory bindings in scope
+   - 2 Coq path directory bindings in scope; 24 Coq plugin directory bindings in scope
    - ocamlpath wasn't overriden
      + findlib config: [TEST_PATH]
      + findlib default location: [TEST_PATH]
@@ -195,7 +195,7 @@ Load the astdump plugin
    - coqlib is at: [TEST_PATH]
      + coqcorelib is at: [TEST_PATH]
    - Modules [Coq.Init.Prelude] will be loaded by default
-   - 2 Coq path directory bindings in scope; 23 Coq plugin directory bindings in scope
+   - 2 Coq path directory bindings in scope; 24 Coq plugin directory bindings in scope
    - ocamlpath wasn't overriden
      + findlib config: [TEST_PATH]
      + findlib default location: [TEST_PATH]