[API] remove large file containing duplicate interfaces

... in favor of having Public/Internal sub modules in each and
every module grouping functions according to their intended client.

1 files changed, 1 insertions, 14 deletions

diff --git a/META.coq b/META.coq
index 75cec8f0cf..76d5b4147a 100644
--- a/META.coq
+++ b/META.coq
@@ -240,25 +240,12 @@ package "stm" (
 
 )
 
-package "API" (
-
-  description = "Coq API"
-  version     = "8.7"
-
-  requires    = "coq.intf, coq.stm"
-  directory   = "API"
-
-  archive(byte)    = "API.cma"
-  archive(native)  = "API.cmxa"
-
-)
-
 package "ltac" (
 
   description = "Coq LTAC Plugin"
   version     = "8.7"
 
-  requires    = "coq.API"
+  requires    = "coq.stm"
   directory   = "plugins/ltac"
 
   archive(byte)    = "ltac_plugin.cmo"