../ skippy-0.5.0-Makefile.patch 06-Feb-2017 22:46 972 skippy-0.5.0-fno-common.patch 31-Jan-2020 12:09 1275 skippy-pointer-size.patch 06-Feb-2017 22:46 208