1 files changed, 1 insertions, 1 deletions
diff --git a/META.coq b/META.coq
index 29bb13ea5..504a85ba6 100644
--- a/META.coq
+++ b/META.coq
@@ -233,7 +233,7 @@ package "API" (
   description = "Coq API"
   version     = "8.7"
 
-  requires    = "coq.stm"
+  requires    = "coq.intf, coq.stm"
   directory   = "API"
 
   archive(byte)    = "API.cma"