diff options
Diffstat (limited to 'META.glibivy')
| -rw-r--r-- | META.glibivy | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/META.glibivy b/META.glibivy index 2e9fbda..50818cb 100644 --- a/META.glibivy +++ b/META.glibivy @@ -1,4 +1,4 @@ version="1.2" directory="+ivy" -archive(byte)="glibivy.cma" -archive(native)="glibivy.cmxa" +archive(byte)="glibivy-ocaml.cma" +archive(native)="glibivy-ocaml.cmxa" |