]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/Makefile
ported debian stuff to ocaml 3.08
[helm.git] / helm / ocaml / getter / Makefile
index ac3abcce4f521f719b21d52831771f5a672770e0..99529c2d4595d7e446deef39d3bd336956ff5f65 100644 (file)
@@ -2,12 +2,12 @@
 PACKAGE = getter
 
 REQUIRES = \
-       http dbm pcre pxp shell zip \
-       helm-thread helm-logger helm-urimanager helm-registry
+       http dbm pcre shell zip \
+       helm-pxp helm-thread helm-logger helm-urimanager helm-registry
 
 INTERFACE_FILES = \
        clientHTTP.mli \
-       http_getter_debugger.mli \
+       http_getter_logger.mli \
        http_getter_misc.mli \
        http_getter_const.mli \
        http_getter_env.mli \