diff --git a/META b/META deleted file mode 100644 index bdfc3a8d..00000000 --- a/META +++ /dev/null @@ -1,44 +0,0 @@ -# OASIS_START -# DO NOT EDIT (digest: 9f5c18246e625c62ccb7bf59b1670289) -version = "0.1" -description = "A bunch of modules, including polymorphic containers." -requires = "unix" -archive(byte) = "containers.cma" -archive(byte, plugin) = "containers.cma" -archive(native) = "containers.cmxa" -archive(native, plugin) = "containers.cmxs" -exists_if = "containers.cma" -package "thread" ( - version = "0.1" - description = "A bunch of modules, including polymorphic containers." - requires = "containers threads lwt" - archive(byte) = "containers_thread.cma" - archive(byte, plugin) = "containers_thread.cma" - archive(native) = "containers_thread.cmxa" - archive(native, plugin) = "containers_thread.cmxs" - exists_if = "containers_thread.cma" -) - -package "lwt" ( - version = "0.1" - description = "A bunch of modules, including polymorphic containers." - requires = "containers lwt lwt.unix" - archive(byte) = "containers_lwt.cma" - archive(byte, plugin) = "containers_lwt.cma" - archive(native) = "containers_lwt.cmxa" - archive(native, plugin) = "containers_lwt.cmxs" - exists_if = "containers_lwt.cma" -) - -package "cgi" ( - version = "0.1" - description = "A bunch of modules, including polymorphic containers." - requires = "containers CamlGI" - archive(byte) = "containers_cgi.cma" - archive(byte, plugin) = "containers_cgi.cma" - archive(native) = "containers_cgi.cmxa" - archive(native, plugin) = "containers_cgi.cmxs" - exists_if = "containers_cgi.cma" -) -# OASIS_STOP -