nixpkgs/pkgs/os-specific/linux/kernel-headers
2016-05-14 09:14:00 +02:00
..
2.4.nix
3.18.nix linuxHeaders: Update 3.14 -> 3.18 2015-05-22 15:29:02 +02:00
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