Merge pull request #237 from mrhaandi/MuRec-eval

refactored MuRec eval

Author: mrhaandi

.github/workflows/build.yml

@@ -31,12 +31,12 @@ jobs:
           ocaml_version: ${{ matrix.ocaml_version }}
           before_script: |
             startGroup "Workaround permission issue"
-              sudo chown -R coq:coq .  # <--
+              sudo chown -R rocq:rocq .  # <--
               opam exec -- ocamlfind list
             endGroup
           before_install: |
             startGroup "Print opam config"
-              sudo chown -R coq:coq .  
+              sudo chown -R rocq:rocq .  
               opam config list; opam repo list; opam list
             endGroup
           script: |

opam

@@ -26,7 +26,8 @@ install: [
   [make "install"]
 ]
 depends: [
-  "rocq-prover" {= "dev"}
+  "rocq-core" {= "dev"}
+  "rocq-stdlib" {= "dev"}
   "ocaml"
   # "coq-metacoq-template" {= "dev"}
 ]