From 1fbc3afc7acd9629453af6276479c81e79f19d39 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 20 Feb 2017 00:15:19 +0100
Subject: [ocamlbuild] Update meta for the vernac split.

---
 META.coq | 19 ++++++++++++++++---
 1 file changed, 16 insertions(+), 3 deletions(-)

diff --git a/META.coq b/META.coq
index 5be69d5fdc..a71af2f103 100644
--- a/META.coq
+++ b/META.coq
@@ -172,7 +172,7 @@ package "parsing" (
 
 package "printing" (
 
-  description = "Coq Printing Libraries"
+  description = "Coq Printing Engine"
   version     = "8.6"
 
   requires    = "coq.parsing"
@@ -185,7 +185,7 @@ package "printing" (
 
 package "tactics" (
 
-  description = "Coq Tactics"
+  description = "Coq Basic Tactics"
   version     = "8.6"
 
   requires    = "coq.printing"
@@ -196,12 +196,25 @@ package "tactics" (
 
 )
 
+package "vernac" (
+
+  description = "Coq Vernacular Interpreter"
+  version     = "8.6"
+
+  requires    = "coq.tactics"
+  directory   = "vernac"
+
+  archive(byte)    = "vernac.cma"
+  archive(native)  = "vernac.cmxa"
+
+)
+
 package "stm" (
 
   description = "Coq State Transactional Machine"
   version     = "8.6"
 
-  requires    = "coq.tactics"
+  requires    = "coq.vernac"
   directory   = "stm"
 
   archive(byte)    = "stm.cma"
-- 
cgit v1.2.3


From 11892a347930a15bc23c34f0743bb3180e3f12c7 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Mon, 20 Feb 2017 11:23:25 +0100
Subject: [ocamlbuild] fix small mistakes in descriptions

---
 META.coq | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/META.coq b/META.coq
index a71af2f103..d83dab23d1 100644
--- a/META.coq
+++ b/META.coq
@@ -56,7 +56,7 @@ package "vm" (
 
 package "kernel" (
 
-  description = "The Coq's Kernel"
+  description = "Coq's Kernel"
   version     = "8.6"
 
   directory   = "kernel"
@@ -95,7 +95,7 @@ package "intf" (
 
 package "engine" (
 
-  description = "Coq Libraries (vo) support"
+  description = "Coq Tactic Engine"
   version     = "8.6"
 
   requires    = "coq.library"
-- 
cgit v1.2.3