Merge PR #7558: [api] Make `vernac/` self-contained.

1 files changed, 12 insertions, 12 deletions

diff --git a/META.coq b/META.coq
index 8d4c3d5f00..cdc088e747 100644
--- a/META.coq
+++ b/META.coq
@@ -6,6 +6,18 @@ version = "8.8"
 directory = ""
 requires = "camlp5"
 
+package "grammar" (
+
+  description = "Coq Camlp5 Grammar Extensions for Plugins"
+  version     = "8.8"
+
+  requires    = "camlp5.gramlib"
+  directory   = "grammar"
+
+  archive(byte)   = "grammar.cma"
+  archive(native) = "grammar.cmxa"
+)
+
 package "config" (
 
   description = "Coq Configuration Variables"
@@ -126,18 +138,6 @@ package "interp" (
 
 )
 
-package "grammar" (
-
-  description = "Coq Camlp5 Grammar Extensions for Plugins"
-  version     = "8.8"
-
-  requires    = "camlp5.gramlib"
-  directory   = "grammar"
-
-  archive(byte)   = "grammar.cma"
-  archive(native) = "grammar.cmxa"
-)
-
 package "proofs" (
 
   description = "Coq Proof Engine"