NIXPKG1 http://nixos.org/releases/nixpkgs/nixpkgs-0.12/MANIFEST linux-2.6.25.20 x86_64-linux /nix/store/r32jvicnq161bwvhzkhvgjzqph2246nn-linux-2.6.25.20.drv /nix/store/ddai9gijqmypda2fk120fsp0xdvy2ylw-linux-2.6.25.20