Merge pull request #4 from Zimmi48/patch-1

[ocamlbuild] fix small mistakes in descriptions

1 files 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"