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