NIXPKG1 http://nixos.org/releases/nixpkgs/nixpkgs-0.12/MANIFEST kdeedu-4.2.2 i686-linux /nix/store/m86yb163aq5y6a8ylqbwr5sq2bcxkr6l-kdeedu-4.2.2.drv /nix/store/liq3p0bj1rp4q6mc88nbhqcq7sh3c1h4-kdeedu-4.2.2