Merge pull request #898 from ejgallego/bump_coq_stdlib

[vendor] Bump Coq and Stdlib for recent changes

Author: ejgallego

.github/workflows/build.yml

@@ -169,7 +169,7 @@ jobs:
         run: |
           opam install lwt logs # Also build pet-server
           opam install memprof-limits # We need to do this to avoid coq-lsp rebuilding Coq below due to deptops
-          opam install vendor/coq/{rocq-runtime,coq-core,rocq-core,coqide-server,rocq,coq}.opam vendor/coq-stdlib/{rocq,coq}-stdlib.opam
+          opam install vendor/coq/{rocq-runtime,coq-core,rocq-core,coqide-server,rocq-prover,coq}.opam vendor/coq-stdlib/{rocq,coq}-stdlib.opam
 
       - name: Install `coq-lsp` into OPAM switch
         run: opam install .

Makefile

@@ -147,7 +147,7 @@ make-fmt: build fmt
 .PHONY: opam-update-and-reinstall
 opam-update-and-reinstall:
 	git pull --recurse-submodules
-	for pkg in rocq-runtime coq-core rocq-core coqide-server rocq coq; do opam install -y vendor/coq/$$pkg.opam; done
+	for pkg in rocq-runtime coq-core rocq-core coqide-server rocq-prover coq; do opam install -y vendor/coq/$$pkg.opam; done
 	for pkg in rocq-stdlib coq-stdlib; do opam install -y vendor/coq-stdlib/$$pkg.opam; done
 	opam install .