Updated Ivy version; added ivy:resolve