Hi, I included the riscv support changes from your patch into the giac salsa repo and successfully built the package in my riscv environment. Thank you! Julien, this should go into the next giac debian upload. I also added myself as an uploader for this package release. Ileana Dumitrescu