Unset is_a_released_version after 8.19.2

SkySkimmer · Jun 10, 2024 · 9dbad65 · 9dbad65
1 parent d739f8d
commit 9dbad65
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.19.2"
 let vo_magic = 81999
-let is_a_released_version = true
+let is_a_released_version = false
 
 (** Default OCaml binaries *)