8.20.0 release

Author: proux01

tools/configure/configure.ml

@@ -22,9 +22,9 @@ open CmdArgs.Prefs
 
 let (/) = Filename.concat
 
-let coq_version = "8.20+rc1"
-let vo_magic = 81999
-let is_a_released_version = false
+let coq_version = "8.20.0"
+let vo_magic = 82000
+let is_a_released_version = true
 
 (** Default OCaml binaries *)