src/plugins/giac/packages
