Replaced the deprecated APIs of quint
Updated the version number