Hi Julien, I imported the newest upstream version of giac (1.9.0.7) into the salsa repo and also updated the copyright file after seeing some inconsistencies in the licensing. Can you please review and upload if it looks ok? Ileana