fix dependencies

Author: simongregersen

.github/workflows/build.yml

@@ -16,7 +16,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-    - uses: actions/checkout@v5
+    - uses: actions/checkout@v6
 
     - uses: ocaml/setup-ocaml@v3
       with:

iris-tutorial.opam

@@ -10,7 +10,7 @@ bug-reports: "https://github.com/logsem/iris-tutorial/issues"
 build: [make "-j%{jobs}%"]
 install: []
 depends: [
-  "rocq-core" { (>= "9.1.0") }
-  "rocq-iris" { (>= "4.5.0") }
-  "rocq-iris-heap-lang" { (>= "4.5.0") }
+  "rocq-core" { (= "9.2.0") }
+  "rocq-iris" { (= "4.5.0") }
+  "rocq-iris-heap-lang" { (= "4.5.0") }
 ]