]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/META.helm-urimanager
1) .cma/.cmxa used to simplify META files.
[helm.git] / helm / ocaml / META.helm-urimanager
index 281b1260dc5dcc9aaab0e9a2f40dadfefcfa2eee..805f9f1c31bc7f08c9b852e2c242ae71d79d4693 100644 (file)
@@ -1,6 +1,6 @@
 requires="str"
 version="0.0.1"
-archive(byte)="uriManager.cmo"
-archive(native)="uriManager.cmx"
+archive(byte)="urimanager.cma"
+archive(native)="urimanager.cmxa"
 linkopts=""
-directory="/home/sacerdot/miohelm/ocaml/helm/urimanager"
+directory="/home/sacerdot/miohelm/helm/ocaml/urimanager"