From 2f405298e35458ec0b78153261ede58921e723d7 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sat, 9 Dec 2017 19:23:56 +0100
Subject: [META] Some dependency fixes.

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

diff --git a/META.coq b/META.coq
index 27aeac61b7..29bb13ea57 100644
--- a/META.coq
+++ b/META.coq
@@ -30,7 +30,7 @@ package "lib" (
 
   directory   = "lib"
 
-  requires         = "coq.config"
+  requires         = "str, unix, threads, coq.config"
 
   archive(byte)    = "clib.cma"
   archive(byte)   += "lib.cma"
@@ -65,7 +65,7 @@ package "kernel" (
 
   directory   = "kernel"
 
-  requires    = "coq.lib, coq.vm"
+  requires    = "dynlink, coq.lib, coq.vm"
 
   archive(byte)    = "kernel.cma"
   archive(native)  = "kernel.cmxa"
@@ -168,7 +168,7 @@ package "parsing" (
   description = "Coq Parsing Engine"
   version     = "8.7"
 
-  requires    = "coq.proofs"
+  requires    = "camlp5.gramlib, coq.proofs"
   directory   = "parsing"
 
   archive(byte)    = "parsing.cma"
-- 
cgit v1.2.3