../ makefile.patch 05-Jul-2019 20:39 856 refind-0.12.0-gcc10.patch 07-Dec-2020 08:09 321 refind-0.13.2-gnuefi-3.0.14.patch 19-Nov-2021 10:40 2031