rocq-prover
diff --git a/Diff for: ‎package-lock.json
+2-2 b/Diff for: ‎package-lock.json
+2-2
diff --git a/Diff for: ‎package.json
+1-1 b/Diff for: ‎package.json
+1-1
@@ -7,7 +7,7 @@
     "email": "[email protected]",
     "url": "http://people.csail.mit.edu/cj/"
   },
-  "version": "0.3.6-alpha.0",
+  "version": "0.3.6",
   "publisher": "maximedenes",
   "license": "MIT",
   "icon": "images/logo.png",