Bump version to 9.0+rc1.

ppedrot · ppedrot · commit 8d8cb434eaf1 · 2025-01-24T11:12:38.000+01:00
diff --git a/tools/configure/configure.ml b/tools/configure/configure.ml
@@ -22,9 +22,9 @@ open CmdArgs.Prefs
 
 let (/) = Filename.concat
 
-let coq_version = "9.0+alpha"
+let coq_version = "9.0+rc1"
 let vo_magic = 82099
-let is_a_released_version = false
+let is_a_released_version = true
 
 (** Default OCaml binaries *)
 
