Set version

jfehrle · Sep 11, 2024 · fa95a36 · fa95a36
1 parent a7a7b5c
commit fa95a36
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/configure/configure.ml b/tools/configure/configure.ml
@@ -22,7 +22,7 @@ open CmdArgs.Prefs
 
 let (/) = Filename.concat
 
-let coq_version = "8.19.2"
+let coq_version = "8.19.2+ltac2-debugger"
 let vo_magic = 81999
 let is_a_released_version = false