Felix Buehler 7cd5d178fc tools: replace name with pname&version		2021-08-12 21:47:47 +02:00
..
cdrkit-1.1.9-efi-boot.patch
default.nix	tools: replace name with pname&version	2021-08-12 21:47:47 +02:00
include-path.patch