Ian Grant wrote: > That's the problem with the mosml-dynlib port I submitted. It > requires a newer mosml port than the current one and people may have > the older one installed already. Is there a workaround for this > situation as well? Users are supposed to keep their ports up-to-date by using 'port upgrade' regularly. Rainer