../ gsl-shell-2.2.0-pkg-config.patch 09-Aug-2015 20:34 1030 gsl-shell-font.patch 09-Aug-2015 20:34 643 gsl-shell-nogui.patch 09-Aug-2015 20:34 809 gsl-shell-strip.patch 09-Aug-2015 20:34 361 gsl-shell-usr.patch 09-Aug-2015 20:34 250