diff --git a/package-lock.json b/package-lock.json
index 6cb73c5..1b09282 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -8,23 +8,137 @@
       "name": "coq-jr",
       "version": "0.1.0",
       "devDependencies": {
-        "rescript": "^11.1.0"
+        "rescript": "^12.2.0"
+      }
+    },
+    "node_modules/@rescript/darwin-arm64": {
+      "version": "12.2.0",
+      "resolved": "https://registry.npmjs.org/@rescript/darwin-arm64/-/darwin-arm64-12.2.0.tgz",
+      "integrity": "sha512-xc3K/J7Ujl1vPiFY2009mRf3kWRlUe/VZyJWprseKxlcEtUQv89ter7r6pY+YFbtYvA/fcaEncL9CVGEdattAg==",
+      "cpu": [
+        "arm64"
+      ],
+      "dev": true,
+      "license": "(LGPL-3.0-or-later AND MIT)",
+      "optional": true,
+      "os": [
+        "darwin"
+      ],
+      "engines": {
+        "node": ">=20.11.0"
+      }
+    },
+    "node_modules/@rescript/darwin-x64": {
+      "version": "12.2.0",
+      "resolved": "https://registry.npmjs.org/@rescript/darwin-x64/-/darwin-x64-12.2.0.tgz",
+      "integrity": "sha512-qqcTvnlSeoKkywLjG7cXfYvKZ1e4Gz2kUKcD6SiqDgCqm8TF+spwlFAiM6sloRUOFsc0bpC/0R0B3yr01FCB1A==",
+      "cpu": [
+        "x64"
+      ],
+      "dev": true,
+      "license": "(LGPL-3.0-or-later AND MIT)",
+      "optional": true,
+      "os": [
+        "darwin"
+      ],
+      "engines": {
+        "node": ">=20.11.0"
+      }
+    },
+    "node_modules/@rescript/linux-arm64": {
+      "version": "12.2.0",
+      "resolved": "https://registry.npmjs.org/@rescript/linux-arm64/-/linux-arm64-12.2.0.tgz",
+      "integrity": "sha512-ODmpG3ji+Nj/8d5yvXkeHlfKkmbw1Q4t1iIjVuNwtmFpz7TiEa7n/sQqoYdE+WzbDX3DoJfmJNbp3Ob7qCUoOg==",
+      "cpu": [
+        "arm64"
+      ],
+      "dev": true,
+      "license": "(LGPL-3.0-or-later AND MIT)",
+      "optional": true,
+      "os": [
+        "linux"
+      ],
+      "engines": {
+        "node": ">=20.11.0"
+      }
+    },
+    "node_modules/@rescript/linux-x64": {
+      "version": "12.2.0",
+      "resolved": "https://registry.npmjs.org/@rescript/linux-x64/-/linux-x64-12.2.0.tgz",
+      "integrity": "sha512-2W9Y9/g19Y4F/subl8yV3T8QBG2oRaP+HciNRcBjptyEdw9LmCKH8+rhWO6sp3E+nZLwoE2IAkwH0WKV3wqlxQ==",
+      "cpu": [
+        "x64"
+      ],
+      "dev": true,
+      "license": "(LGPL-3.0-or-later AND MIT)",
+      "optional": true,
+      "os": [
+        "linux"
+      ],
+      "engines": {
+        "node": ">=20.11.0"
+      }
+    },
+    "node_modules/@rescript/runtime": {
+      "version": "12.2.0",
+      "resolved": "https://registry.npmjs.org/@rescript/runtime/-/runtime-12.2.0.tgz",
+      "integrity": "sha512-NwfljDRq1rjFPHUaca1nzFz13xsa9ZGkBkLvMhvVgavJT5+A4rMcLu8XAaVTi/oAhO/tlHf9ZDoOTF1AfyAk9Q==",
+      "dev": true,
+      "license": "MIT"
+    },
+    "node_modules/@rescript/win32-x64": {
+      "version": "12.2.0",
+      "resolved": "https://registry.npmjs.org/@rescript/win32-x64/-/win32-x64-12.2.0.tgz",
+      "integrity": "sha512-fhf8CBj3p1lkIXPeNko3mVTKQfXXm4BoxJtR1xAXxUn43wDpd8Lox4w8/EPBbbW6C/YFQW6H7rtpY+2AKuNaDA==",
+      "cpu": [
+        "x64"
+      ],
+      "dev": true,
+      "license": "(LGPL-3.0-or-later AND MIT)",
+      "optional": true,
+      "os": [
+        "win32"
+      ],
+      "engines": {
+        "node": ">=20.11.0"
       }
     },
     "node_modules/rescript": {
-      "version": "11.1.4",
-      "resolved": "https://registry.npmjs.org/rescript/-/rescript-11.1.4.tgz",
-      "integrity": "sha512-0bGU0bocihjSC6MsE3TMjHjY0EUpchyrREquLS8VsZ3ohSMD+VHUEwimEfB3kpBI1vYkw3UFZ3WD8R28guz/Vw==",
+      "version": "12.2.0",
+      "resolved": "https://registry.npmjs.org/rescript/-/rescript-12.2.0.tgz",
+      "integrity": "sha512-1Jf2cmNhyx5Mj2vwZ4XXPcXvNSjGj9D1jPBUcoqIOqRpLPo1ch2Ta/7eWh23xAHWHK5ow7BCDyYFjvZSjyjLzg==",
       "dev": true,
-      "hasInstallScript": true,
-      "license": "SEE LICENSE IN LICENSE",
+      "license": "(LGPL-3.0-or-later AND MIT)",
+      "workspaces": [
+        "packages/playground",
+        "packages/@rescript/*",
+        "tests/dependencies/**",
+        "tests/analysis_tests/**",
+        "tests/docstring_tests",
+        "tests/gentype_tests/**",
+        "tests/tools_tests",
+        "tests/commonjs_tests",
+        "scripts/res"
+      ],
+      "dependencies": {
+        "@rescript/runtime": "12.2.0"
+      },
       "bin": {
-        "bsc": "bsc",
-        "bstracing": "lib/bstracing",
-        "rescript": "rescript"
+        "bsc": "cli/bsc.js",
+        "bstracing": "cli/bstracing.js",
+        "rescript": "cli/rescript.js",
+        "rescript-legacy": "cli/rescript-legacy.js",
+        "rescript-tools": "cli/rescript-tools.js"
       },
       "engines": {
-        "node": ">=10"
+        "node": ">=20.11.0"
+      },
+      "optionalDependencies": {
+        "@rescript/darwin-arm64": "12.2.0",
+        "@rescript/darwin-x64": "12.2.0",
+        "@rescript/linux-arm64": "12.2.0",
+        "@rescript/linux-x64": "12.2.0",
+        "@rescript/win32-x64": "12.2.0"
       }
     }
   }
diff --git a/package.json b/package.json
index 09a2697..8980978 100644
--- a/package.json
+++ b/package.json
@@ -9,7 +9,7 @@
     "res:watch": "rescript build -w"
   },
   "devDependencies": {
-    "rescript": "^11.1.0"
+    "rescript": "^12.2.0"
   },
   "dependencies": {}
 }