Fix version number

mattam82 · mattam82 · commit dcc13855ed88 · 2025-03-12T14:19:24.000+01:00
diff --git a/data/releases/9.0.md b/data/releases/9.0.md
@@ -1,6 +1,6 @@
 ---
 kind: rocq
-version: "9.0"
+version: 9.0.0
 date: 2025-03-12
 is_latest: true
 is_prerelease: false
