diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
index 5a171ff..96b9c4c 100644
--- a/.github/workflows/coq-action.yml
+++ b/.github/workflows/coq-action.yml
@@ -1,4 +1,4 @@
-name: coq-action
+name: rocq-action
 
 on:
   push:
@@ -23,8 +23,24 @@ jobs:
       - uses: "actions/checkout@v4"
         with:
           submodules: "true"
-      - name: "Docker Coq action"
+      - name: "Docker Rocq action"
         uses: "coq-community/docker-coq-action@v1"
         with:
           opam_file: "bonak.opam"
-          coq_version: "9.1.1"
+          coq_version: "9.2"
+          before_install: |
+            startGroup "Configure opam"
+              if opam pin list --short | grep -qx dune; then
+                opam unpin -y dune
+              fi
+              opam config list
+              opam repo list
+              opam list
+            endGroup
+          install: |
+            startGroup "Install dependencies"
+              sudo apt-get update -y -q
+              opam pin add -n -y -k path $PACKAGE $WORKDIR
+              opam update -y default
+              opam install --confirm-level=unsafe-yes -j 2 $PACKAGE --deps-only
+            endGroup
diff --git a/bonak.opam b/bonak.opam
index 29b1c9c..573e7eb 100644
--- a/bonak.opam
+++ b/bonak.opam
@@ -9,8 +9,9 @@ homepage: "https://github.com/artagnon/bonak"
 bug-reports: "https://github.com/artagnon/bonak/issues"
 dev-repo: "git+https://github.com/artagnon/bonak"
 depends: [
-  "coq"  { >= "9.1.0" }
-  "dune" { >= "3.17.2" }
+  "rocq-core"   { >= "9.2.0" }
+  "rocq-stdlib"
+  "dune"        { >= "3.22.0" }
 ]
 build: [
   ["dune" "build"]
diff --git a/dune-project b/dune-project
index edc80f3..10eff63 100644
--- a/dune-project
+++ b/dune-project
@@ -1,5 +1,5 @@
-(lang dune 3.17)
+(lang dune 3.22)
 
-(using coq 0.8)
+(using rocq 0.12)
 
 (name bonak)
diff --git a/theories/dune b/theories/dune
index d0c5658..bcdcea9 100644
--- a/theories/dune
+++ b/theories/dune
@@ -1,4 +1,4 @@
-(coq.theory
+(rocq.theory
  (name Bonak)
  (theories Stdlib))