Update versions for edubs 1.0.0