First commit after release.

Matafou · Mar 31, 2023 · db9e7d0 · db9e7d0
1 parent 99f5ecc
commit db9e7d0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/configure/configure.ml b/tools/configure/configure.ml
@@ -24,7 +24,7 @@ let (/) = Filename.concat
 
 let coq_version = "8.17.0"
 let vo_magic = 81700
-let is_a_released_version = true
+let is_a_released_version = false
 
 (** Default OCaml binaries *)