update version ordering for flint