Changing the repo for Edulib and the version for edulib.