Tobias Geerinckx-Rice 6e28b032a5 gnu-efi: 3.0.2 -> 3.0.3		2015-09-18 07:12:13 +02:00
..
default.nix	gnu-efi: 3.0.2 -> 3.0.3	2015-09-18 07:12:13 +02:00