X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2FMakefile;h=9ebca237ab9fad7823d9dfa63d40f34c449768ae;hb=9262517c80e17d46b9bf9931dc879ac653a633e9;hp=c6450d17814c145ffb20997bcaae2a59e64d668b;hpb=b84c60ff48a21a62a08e636f32cf0df46dfbe45a;p=helm.git diff --git a/helm/ocaml/getter/Makefile b/helm/ocaml/getter/Makefile index c6450d178..9ebca237a 100644 --- a/helm/ocaml/getter/Makefile +++ b/helm/ocaml/getter/Makefile @@ -1,10 +1,6 @@ PACKAGE = getter -REQUIRES = \ - http unix pcre zip \ - helm-xml helm-logger helm-urimanager helm-registry - INTERFACE_FILES = \ http_getter_wget.mli \ http_getter_logger.mli \