nixpkgs/pkgs/os-specific/linux/kernel-headers
2018-02-18 16:59:29 -05:00
..
default.nix linuxHeaders: Bump default to 4.15. 2018-02-18 16:59:29 -05:00