Update version kravspec