Updating main galois repository