NixOS/nixpkgs — pull request #1418 by wkennington (2013-12-29 00:38:38+00:00)
Title: Update kernels 3.10 and 3.11

Push the kernel minor version forward.