Waldemar Brodkorb ef12026191 add support for raspberry pi4 64 bit 2 jaren geleden
..
disable-gcc-plugins.patch 81c178b82d add support for raspberry pi4 32 bit 2 jaren geleden
localversion.patch ef12026191 add support for raspberry pi4 64 bit 2 jaren geleden