Merge PR #6512: [api] Relocate `intf` modules according to dependency-order.

1 files changed, 0 insertions, 13 deletions

diff --git a/META.coq b/META.coq
index 30bfdd67a7..3414ccbd40 100644
--- a/META.coq
+++ b/META.coq
@@ -90,19 +90,6 @@ package "library" (
 
 )
 
-package "intf" (
-
-  description = "Coq Public Data Types"
-  version     = "8.8"
-
-  requires    = "coq.library"
-
-  directory   = "intf"
-
-  archive(byte)    = "intf.cma"
-  archive(native)  = "intf.cmxa"
-)
-
 package "engine" (
 
   description = "Coq Tactic Engine"