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