aboutsummaryrefslogtreecommitdiff
path: root/META.ivy
diff options
context:
space:
mode:
Diffstat (limited to 'META.ivy')
-rw-r--r--META.ivy4
1 files changed, 2 insertions, 2 deletions
diff --git a/META.ivy b/META.ivy
index 6d93dae..553684e 100644
--- a/META.ivy
+++ b/META.ivy
@@ -1,4 +1,4 @@
version="1.2"
directory="+ivy"
-archive(byte)="ivy.cma"
-archive(native)="ivy.cmxa"
+archive(byte)="ivy-ocaml.cma"
+archive(native)="ivy-ocaml.cmxa"