From b37d3f199e4521e2ae20cc96f0f2b04acc36c7cc Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 22 Dec 2017 14:11:55 +0100
Subject: [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.
---
 META.coq | 15 +--------------
 1 file changed, 1 insertion(+), 14 deletions(-)

(limited to 'META.coq')

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"
-- 
cgit v1.2.3