Merge PR #7008: Bump version number to 8.9+alpha1

3 files changed, 50 insertions, 50 deletions

diff --git a/.bintray.json b/.bintray.json
index fb9e55368..8672c2bb9 100644
--- a/.bintray.json
+++ b/.bintray.json
@@ -6,7 +6,7 @@
     },
 
     "version": {
-        "name": "8.8+alpha"
+        "name": "8.9+alpha"
     },
 
     "files":
diff --git a/META.coq b/META.coq
index cdc088e74..a7c8da163 100644
--- a/META.coq
+++ b/META.coq
@@ -1,7 +1,7 @@
 # TODO: Generate automatically with Dune
 
 description = "The Coq Proof Assistant Plugin API"
-version = "8.8"
+version = "8.9"
 
 directory = ""
 requires = "camlp5"
@@ -9,7 +9,7 @@ requires = "camlp5"
 package "grammar" (
 
   description = "Coq Camlp5 Grammar Extensions for Plugins"
-  version     = "8.8"
+  version     = "8.9"
 
   requires    = "camlp5.gramlib"
   directory   = "grammar"
@@ -21,7 +21,7 @@ package "grammar" (
 package "config" (
 
   description = "Coq Configuration Variables"
-  version     = "8.8"
+  version     = "8.9"
 
   directory   = "config"
 
@@ -29,7 +29,7 @@ package "config" (
 
 package "clib" (
   description = "Base General Coq Library"
-  version     = "8.8"
+  version     = "8.9"
 
   directory   = "clib"
   requires    = "num, str, unix, threads"
@@ -41,7 +41,7 @@ package "clib" (
 package "lib" (
 
   description = "Base Coq-Specific Library"
-  version     = "8.8"
+  version     = "8.9"
 
   directory   = "lib"
 
@@ -55,7 +55,7 @@ package "lib" (
 package "vm" (
 
   description = "Coq VM"
-  version     = "8.8"
+  version     = "8.9"
 
   directory        = "kernel/byterun"
 
@@ -74,7 +74,7 @@ package "vm" (
 package "kernel" (
 
   description = "Coq's Kernel"
-  version     = "8.8"
+  version     = "8.9"
 
   directory   = "kernel"
 
@@ -88,7 +88,7 @@ package "kernel" (
 package "library" (
 
   description = "Coq Libraries (vo) support"
-  version     = "8.8"
+  version     = "8.9"
 
   requires    = "coq.kernel"
 
@@ -102,7 +102,7 @@ package "library" (
 package "engine" (
 
   description = "Coq Tactic Engine"
-  version     = "8.8"
+  version     = "8.9"
 
   requires    = "coq.library"
   directory   = "engine"
@@ -115,7 +115,7 @@ package "engine" (
 package "pretyping" (
 
   description = "Coq Pretyper"
-  version     = "8.8"
+  version     = "8.9"
 
   requires    = "coq.engine"
   directory   = "pretyping"
@@ -128,7 +128,7 @@ package "pretyping" (
 package "interp" (
 
   description = "Coq Term Interpretation"
-  version     = "8.8"
+  version     = "8.9"
 
   requires    = "coq.pretyping"
   directory   = "interp"
@@ -141,7 +141,7 @@ package "interp" (
 package "proofs" (
 
   description = "Coq Proof Engine"
-  version     = "8.8"
+  version     = "8.9"
 
   requires    = "coq.interp"
   directory   = "proofs"
@@ -154,7 +154,7 @@ package "proofs" (
 package "parsing" (
 
   description = "Coq Parsing Engine"
-  version     = "8.8"
+  version     = "8.9"
 
   requires    = "camlp5.gramlib, coq.proofs"
   directory   = "parsing"
@@ -167,7 +167,7 @@ package "parsing" (
 package "printing" (
 
   description = "Coq Printing Engine"
-  version     = "8.8"
+  version     = "8.9"
 
   requires    = "coq.parsing"
   directory   = "printing"
@@ -180,7 +180,7 @@ package "printing" (
 package "tactics" (
 
   description = "Coq Basic Tactics"
-  version     = "8.8"
+  version     = "8.9"
 
   requires    = "coq.printing"
   directory   = "tactics"
@@ -193,7 +193,7 @@ package "tactics" (
 package "vernac" (
 
   description = "Coq Vernacular Interpreter"
-  version     = "8.8"
+  version     = "8.9"
 
   requires    = "coq.tactics"
   directory   = "vernac"
@@ -206,7 +206,7 @@ package "vernac" (
 package "stm" (
 
   description = "Coq State Transactional Machine"
-  version     = "8.8"
+  version     = "8.9"
 
   requires    = "coq.vernac"
   directory   = "stm"
@@ -219,7 +219,7 @@ package "stm" (
 package "toplevel" (
 
   description = "Coq Toplevel"
-  version     = "8.8"
+  version     = "8.9"
 
   requires    = "coq.stm"
   directory   = "toplevel"
@@ -232,7 +232,7 @@ package "toplevel" (
 package "idetop" (
 
   description = "Coq IDE Libraries"
-  version     = "8.8"
+  version     = "8.9"
 
   requires    = "coq.toplevel"
   directory   = "ide"
@@ -246,7 +246,7 @@ package "idetop" (
 package "ide" (
 
   description = "Coq IDE Libraries"
-  version     = "8.8"
+  version     = "8.9"
 
 # XXX Add GTK
   requires    = "coq.toplevel"
@@ -260,14 +260,14 @@ package "ide" (
 package "plugins" (
 
   description = "Coq built-in plugins"
-  version     = "8.8"
+  version     = "8.9"
 
   directory   = "plugins"
 
   package "ltac" (
 
     description = "Coq LTAC Plugin"
-    version     = "8.8"
+    version     = "8.9"
 
     requires    = "coq.stm"
     directory   = "ltac"
@@ -280,7 +280,7 @@ package "plugins" (
   package "tauto" (
 
     description = "Coq tauto plugin"
-    version     = "8.8"
+    version     = "8.9"
 
     requires    = "coq.plugins.ltac"
     directory   = "ltac"
@@ -292,7 +292,7 @@ package "plugins" (
   package "omega" (
 
     description = "Coq omega plugin"
-    version     = "8.8"
+    version     = "8.9"
 
     requires    = "coq.plugins.ltac"
     directory   = "omega"
@@ -304,7 +304,7 @@ package "plugins" (
   package "romega" (
 
     description = "Coq romega plugin"
-    version     = "8.8"
+    version     = "8.9"
 
     requires    = "coq.plugins.omega"
     directory   = "romega"
@@ -316,7 +316,7 @@ package "plugins" (
   package "micromega" (
 
     description = "Coq micromega plugin"
-    version     = "8.8"
+    version     = "8.9"
 
     requires    = "num,coq.plugins.ltac"
     directory   = "micromega"
@@ -328,7 +328,7 @@ package "plugins" (
   package "quote" (
 
     description = "Coq quote plugin"
-    version     = "8.8"
+    version     = "8.9"
 
     requires    = "coq.plugins.ltac"
     directory   = "quote"
@@ -340,7 +340,7 @@ package "plugins" (
   package "newring" (
 
     description = "Coq newring plugin"
-    version     = "8.8"
+    version     = "8.9"
 
     requires    = "coq.plugins.quote"
     directory   = "setoid_ring"
@@ -352,7 +352,7 @@ package "plugins" (
   package "fourier" (
 
     description = "Coq fourier plugin"
-    version     = "8.8"
+    version     = "8.9"
 
     requires    = "coq.plugins.ltac"
     directory   = "fourier"
@@ -364,7 +364,7 @@ package "plugins" (
   package "extraction" (
 
     description = "Coq extraction plugin"
-    version     = "8.8"
+    version     = "8.9"
 
     requires    = "coq.plugins.ltac"
     directory   = "extraction"
@@ -376,7 +376,7 @@ package "plugins" (
   package "cc" (
 
     description = "Coq cc plugin"
-    version     = "8.8"
+    version     = "8.9"
 
     requires    = "coq.plugins.ltac"
     directory   = "cc"
@@ -388,7 +388,7 @@ package "plugins" (
   package "ground" (
 
     description = "Coq ground plugin"
-    version     = "8.8"
+    version     = "8.9"
 
     requires    = "coq.plugins.ltac"
     directory   = "firstorder"
@@ -400,7 +400,7 @@ package "plugins" (
   package "rtauto" (
 
     description = "Coq rtauto plugin"
-    version     = "8.8"
+    version     = "8.9"
 
     requires    = "coq.plugins.ltac"
     directory   = "rtauto"
@@ -412,7 +412,7 @@ package "plugins" (
   package "btauto" (
 
     description = "Coq btauto plugin"
-    version     = "8.8"
+    version     = "8.9"
 
     requires    = "coq.plugins.ltac"
     directory   = "btauto"
@@ -424,7 +424,7 @@ package "plugins" (
   package "recdef" (
 
     description = "Coq recdef plugin"
-    version     = "8.8"
+    version     = "8.9"
 
     requires    = "coq.plugins.extraction"
     directory   = "funind"
@@ -436,7 +436,7 @@ package "plugins" (
   package "nsatz" (
 
     description = "Coq nsatz plugin"
-    version     = "8.8"
+    version     = "8.9"
 
     requires    = "num,coq.plugins.ltac"
     directory   = "nsatz"
@@ -448,7 +448,7 @@ package "plugins" (
   package "natsyntax" (
 
     description = "Coq natsyntax plugin"
-    version     = "8.8"
+    version     = "8.9"
 
     requires    = ""
     directory   = "syntax"
@@ -460,7 +460,7 @@ package "plugins" (
   package "zsyntax" (
 
     description = "Coq zsyntax plugin"
-    version     = "8.8"
+    version     = "8.9"
 
     requires    = ""
     directory   = "syntax"
@@ -472,7 +472,7 @@ package "plugins" (
   package "rsyntax" (
 
     description = "Coq rsyntax plugin"
-    version     = "8.8"
+    version     = "8.9"
 
     requires    = ""
     directory   = "syntax"
@@ -484,7 +484,7 @@ package "plugins" (
   package "int31syntax" (
 
     description = "Coq int31syntax plugin"
-    version     = "8.8"
+    version     = "8.9"
 
     requires    = ""
     directory   = "syntax"
@@ -496,7 +496,7 @@ package "plugins" (
   package "asciisyntax" (
 
     description = "Coq asciisyntax plugin"
-    version     = "8.8"
+    version     = "8.9"
 
     requires    = ""
     directory   = "syntax"
@@ -508,7 +508,7 @@ package "plugins" (
   package "stringsyntax" (
 
     description = "Coq stringsyntax plugin"
-    version     = "8.8"
+    version     = "8.9"
 
     requires    = "coq.plugins.asciisyntax"
     directory   = "syntax"
@@ -520,7 +520,7 @@ package "plugins" (
   package "derive" (
 
     description = "Coq derive plugin"
-    version     = "8.8"
+    version     = "8.9"
 
     requires    = ""
     directory   = "derive"
@@ -532,7 +532,7 @@ package "plugins" (
   package "ssrmatching" (
 
     description = "Coq ssrmatching plugin"
-    version     = "8.8"
+    version     = "8.9"
 
     requires    = "coq.plugins.ltac"
     directory   = "ssrmatching"
@@ -544,7 +544,7 @@ package "plugins" (
   package "ssreflect" (
 
     description = "Coq ssreflect plugin"
-    version     = "8.8"
+    version     = "8.9"
 
     requires    = "coq.plugins.ssrmatching"
     directory   = "ssr"
diff --git a/configure.ml b/configure.ml
index 933143e68..9d959b9af 100644
--- a/configure.ml
+++ b/configure.ml
@@ -11,11 +11,11 @@
 #load "str.cma"
 open Printf
 
-let coq_version = "8.8+alpha"
-let coq_macos_version = "8.7.90" (** "[...] should be a string comprised of
+let coq_version = "8.9+alpha"
+let coq_macos_version = "8.8.90" (** "[...] should be a string comprised of
 three non-negative, period-separated integers [...]" *)
-let vo_magic = 8791
-let state_magic = 58791
+let vo_magic = 8891
+let state_magic = 58891
 let distributed_exec =
   ["coqtop.opt"; "coqidetop.opt"; "coqqueryworker.opt"; "coqproofworker.opt"; "coqtacticworker.opt";
    "coqc";"coqchk";"coqdoc";"coqworkmgr";"coq_makefile";"coq-tex";"gallina";"coqwc";"csdpcert";"coqdep"]