Bump version number to 8.11.

4 files changed, 46 insertions, 46 deletions

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f0403a7318..e527986ef7 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -327,7 +327,7 @@ pkg:opam:
     - opam pin add --kind=path coqide.$COQ_VERSION .
     - set +e
   variables:
-    COQ_VERSION: "8.10"
+    COQ_VERSION: "8.11"
     OPAM_SWITCH: "edge"
     OPAM_VARIANT: "+flambda"
   only: *full-ci
diff --git a/META.coq.in b/META.coq.in
index f7922e0ac2..0baacbc82e 100644
--- a/META.coq.in
+++ b/META.coq.in
@@ -1,7 +1,7 @@
 # TODO: Generate automatically with Dune
 
 description = "The Coq Proof Assistant Plugin API"
-version = "8.10"
+version = "8.11"
 
 directory = ""
 requires = ""
@@ -9,7 +9,7 @@ requires = ""
 package "config" (
 
   description = "Coq Configuration Variables"
-  version     = "8.10"
+  version     = "8.11"
 
   directory   = "config"
 
@@ -19,7 +19,7 @@ package "config" (
 
 package "clib" (
   description = "Base General Coq Library"
-  version     = "8.10"
+  version     = "8.11"
 
   directory   = "clib"
   requires    = "str, unix, threads"
@@ -31,7 +31,7 @@ package "clib" (
 package "lib" (
 
   description = "Base Coq-Specific Library"
-  version     = "8.10"
+  version     = "8.11"
 
   directory   = "lib"
 
@@ -45,7 +45,7 @@ package "lib" (
 package "vm" (
 
   description = "Coq VM"
-  version     = "8.10"
+  version     = "8.11"
 
   directory        = "kernel/byterun"
 
@@ -64,7 +64,7 @@ package "vm" (
 package "kernel" (
 
   description = "Coq's Kernel"
-  version     = "8.10"
+  version     = "8.11"
 
   directory   = "kernel"
 
@@ -78,7 +78,7 @@ package "kernel" (
 package "library" (
 
   description = "Coq Libraries (vo) support"
-  version     = "8.10"
+  version     = "8.11"
 
   requires    = "coq.kernel"
 
@@ -92,7 +92,7 @@ package "library" (
 package "engine" (
 
   description = "Coq Tactic Engine"
-  version     = "8.10"
+  version     = "8.11"
 
   requires    = "coq.library"
   directory   = "engine"
@@ -105,7 +105,7 @@ package "engine" (
 package "pretyping" (
 
   description = "Coq Pretyper"
-  version     = "8.10"
+  version     = "8.11"
 
   requires    = "coq.engine"
   directory   = "pretyping"
@@ -118,7 +118,7 @@ package "pretyping" (
 package "interp" (
 
   description = "Coq Term Interpretation"
-  version     = "8.10"
+  version     = "8.11"
 
   requires    = "coq.pretyping"
   directory   = "interp"
@@ -131,7 +131,7 @@ package "interp" (
 package "proofs" (
 
   description = "Coq Proof Engine"
-  version     = "8.10"
+  version     = "8.11"
 
   requires    = "coq.interp"
   directory   = "proofs"
@@ -144,7 +144,7 @@ package "proofs" (
 package "gramlib" (
 
   description = "Coq Grammar Engine"
-  version     = "8.10"
+  version     = "8.11"
 
   requires    = "coq.lib"
   directory   = "gramlib/.pack"
@@ -156,7 +156,7 @@ package "gramlib" (
 package "parsing" (
 
   description = "Coq Parsing Engine"
-  version     = "8.10"
+  version     = "8.11"
 
   requires    = "coq.gramlib, coq.proofs"
   directory   = "parsing"
@@ -169,7 +169,7 @@ package "parsing" (
 package "printing" (
 
   description = "Coq Printing Engine"
-  version     = "8.10"
+  version     = "8.11"
 
   requires    = "coq.parsing"
   directory   = "printing"
@@ -182,7 +182,7 @@ package "printing" (
 package "tactics" (
 
   description = "Coq Basic Tactics"
-  version     = "8.10"
+  version     = "8.11"
 
   requires    = "coq.printing"
   directory   = "tactics"
@@ -195,7 +195,7 @@ package "tactics" (
 package "vernac" (
 
   description = "Coq Vernacular Interpreter"
-  version     = "8.10"
+  version     = "8.11"
 
   requires    = "coq.tactics"
   directory   = "vernac"
@@ -208,7 +208,7 @@ package "vernac" (
 package "stm" (
 
   description = "Coq State Transactional Machine"
-  version     = "8.10"
+  version     = "8.11"
 
   requires    = "coq.vernac"
   directory   = "stm"
@@ -221,7 +221,7 @@ package "stm" (
 package "toplevel" (
 
   description = "Coq Toplevel"
-  version     = "8.10"
+  version     = "8.11"
 
   requires    = "num, coq.stm"
   directory   = "toplevel"
@@ -234,7 +234,7 @@ package "toplevel" (
 package "idetop" (
 
   description = "Coq IDE Libraries"
-  version     = "8.10"
+  version     = "8.11"
 
   requires    = "coq.toplevel"
   directory   = "ide"
@@ -247,7 +247,7 @@ package "idetop" (
 package "ide" (
 
   description = "Coq IDE Libraries"
-  version     = "8.10"
+  version     = "8.11"
 
   requires    = "coq.lib, coq.ideprotocol, lablgtk3, lablgtk3-sourceview3"
   directory   = "ide"
@@ -260,7 +260,7 @@ package "ide" (
 package "ideprotocol" (
 
   description = "Coq IDE protocol"
-  version     = "8.10"
+  version     = "8.11"
 
   requires    = "coq.toplevel"
   directory   = "ide/protocol"
@@ -273,14 +273,14 @@ package "ideprotocol" (
 package "plugins" (
 
   description = "Coq built-in plugins"
-  version     = "8.10"
+  version     = "8.11"
 
   directory   = "plugins"
 
   package "ltac" (
 
     description = "Coq LTAC Plugin"
-    version     = "8.10"
+    version     = "8.11"
 
     requires    = "coq.stm"
     directory   = "ltac"
@@ -293,7 +293,7 @@ package "plugins" (
   package "tauto" (
 
     description = "Coq tauto plugin"
-    version     = "8.10"
+    version     = "8.11"
 
     requires    = "coq.plugins.ltac"
     directory   = "ltac"
@@ -305,7 +305,7 @@ package "plugins" (
   package "omega" (
 
     description = "Coq omega plugin"
-    version     = "8.10"
+    version     = "8.11"
 
     requires    = "coq.plugins.ltac"
     directory   = "omega"
@@ -317,7 +317,7 @@ package "plugins" (
   package "micromega" (
 
     description = "Coq micromega plugin"
-    version     = "8.10"
+    version     = "8.11"
 
     requires    = "num,coq.plugins.ltac"
     directory   = "micromega"
@@ -329,7 +329,7 @@ package "plugins" (
   package "setoid_ring" (
 
     description = "Coq newring plugin"
-    version     = "8.10"
+    version     = "8.11"
 
     requires    = ""
     directory   = "setoid_ring"
@@ -341,7 +341,7 @@ package "plugins" (
   package "extraction" (
 
     description = "Coq extraction plugin"
-    version     = "8.10"
+    version     = "8.11"
 
     requires    = "coq.plugins.ltac"
     directory   = "extraction"
@@ -353,7 +353,7 @@ package "plugins" (
   package "cc" (
 
     description = "Coq cc plugin"
-    version     = "8.10"
+    version     = "8.11"
 
     requires    = "coq.plugins.ltac"
     directory   = "cc"
@@ -365,7 +365,7 @@ package "plugins" (
   package "firstorder" (
 
     description = "Coq ground plugin"
-    version     = "8.10"
+    version     = "8.11"
 
     requires    = "coq.plugins.ltac"
     directory   = "firstorder"
@@ -377,7 +377,7 @@ package "plugins" (
   package "rtauto" (
 
     description = "Coq rtauto plugin"
-    version     = "8.10"
+    version     = "8.11"
 
     requires    = "coq.plugins.ltac"
     directory   = "rtauto"
@@ -389,7 +389,7 @@ package "plugins" (
   package "btauto" (
 
     description = "Coq btauto plugin"
-    version     = "8.10"
+    version     = "8.11"
 
     requires    = "coq.plugins.ltac"
     directory   = "btauto"
@@ -401,7 +401,7 @@ package "plugins" (
   package "funind" (
 
     description = "Coq recdef plugin"
-    version     = "8.10"
+    version     = "8.11"
 
     requires    = "coq.plugins.extraction"
     directory   = "funind"
@@ -413,7 +413,7 @@ package "plugins" (
   package "nsatz" (
 
     description = "Coq nsatz plugin"
-    version     = "8.10"
+    version     = "8.11"
 
     requires    = "num,coq.plugins.ltac"
     directory   = "nsatz"
@@ -425,7 +425,7 @@ package "plugins" (
   package "rsyntax" (
 
     description = "Coq rsyntax plugin"
-    version     = "8.10"
+    version     = "8.11"
 
     requires    = ""
     directory   = "syntax"
@@ -437,7 +437,7 @@ package "plugins" (
   package "int63syntax" (
 
     description = "Coq int63syntax plugin"
-    version     = "8.10"
+    version     = "8.11"
 
     requires    = ""
     directory   = "syntax"
@@ -449,7 +449,7 @@ package "plugins" (
   package "string_notation" (
 
     description = "Coq string_notation plugin"
-    version     = "8.10"
+    version     = "8.11"
 
     requires    = ""
     directory   = "syntax"
@@ -461,7 +461,7 @@ package "plugins" (
   package "derive" (
 
     description = "Coq derive plugin"
-    version     = "8.10"
+    version     = "8.11"
 
     requires    = ""
     directory   = "derive"
@@ -473,7 +473,7 @@ package "plugins" (
   package "ssrmatching" (
 
     description = "Coq ssrmatching plugin"
-    version     = "8.10"
+    version     = "8.11"
 
     requires    = "coq.plugins.ltac"
     directory   = "ssrmatching"
@@ -485,7 +485,7 @@ package "plugins" (
   package "ssreflect" (
 
     description = "Coq ssreflect plugin"
-    version     = "8.10"
+    version     = "8.11"
 
     requires    = "coq.plugins.ssrmatching"
     directory   = "ssr"
diff --git a/configure.ml b/configure.ml
index d7370b28c1..e59a41a8d4 100644
--- a/configure.ml
+++ b/configure.ml
@@ -12,11 +12,11 @@
 #load "str.cma"
 open Printf
 
-let coq_version = "8.10+alpha"
-let coq_macos_version = "8.9.90" (** "[...] should be a string comprised of
+let coq_version = "8.11+alpha"
+let coq_macos_version = "8.10.90" (** "[...] should be a string comprised of
 three non-negative, period-separated integers [...]" *)
-let vo_magic = 8991
-let state_magic = 58991
+let vo_magic = 81091
+let state_magic = 581091
 let is_a_released_version = false
 let distributed_exec =
   ["coqtop.opt"; "coqidetop.opt"; "coqqueryworker.opt"; "coqproofworker.opt"; "coqtacticworker.opt";
diff --git a/default.nix b/default.nix
index 2d101eed57..19afc2bd1b 100644
--- a/default.nix
+++ b/default.nix
@@ -29,7 +29,7 @@
 , shell ? false
   # We don't use lib.inNixShell because that would also apply
   # when in a nix-shell of some package depending on this one.
-, coq-version ? "8.10-git"
+, coq-version ? "8.11-git"
 }:
 
 with pkgs;