1 files changed, 13 insertions, 0 deletions
diff --git a/META.coq b/META.coq
index 074c2e457..5bf7a000c 100644
--- a/META.coq
+++ b/META.coq
@@ -291,3 +291,16 @@ package "ltac" (
   archive(native)  = "ltac_plugin.cmx"
 
 )
+
+package "API" (
+
+  description = "Coq API"
+  version     = "8.7"
+
+  requires    = "coq.toplevel"
+  directory   = "API"
+
+  archive(byte)    = "API.cma"
+  archive(native)  = "API.cmxa"
+
+)