../ gsl-shell-2.2.0-pkg-config.patch 19-Apr-2021 19:39 873 gsl-shell-2.3.0-gdt-cflags.patch 06-Sep-2016 20:04 551 gsl-shell-font.patch 09-Aug-2015 00:38 643 gsl-shell-nogui.patch 09-Aug-2015 00:38 809 gsl-shell-strip.patch 09-Aug-2015 00:38 361 gsl-shell-usr.patch 09-Aug-2015 00:38 250