Name Last modified Size Description Parent Directory - ginac-1.8.2-pkgconfig.patch 2022-02-02 12:09 340 ginac-1.8.8-gcc-15.patch 2025-04-30 07:11 589