nixpkgs/pkgs/os-specific/linux/kernel-headers
2016-05-14 09:14:00 +02:00
..
2.4.nix
3.18.nix
4.4.nix linuxHeaders_4_4: init at 4.4.10 2016-05-14 09:14:00 +02:00
default.nix kernel-headers: mark broken for grsecurity kernels 2016-04-19 14:45:30 +02:00