NIXPKG1 http://nixos.org/releases/nixpkgs/nixpkgs-0.12/MANIFEST cedet-1.0pre6 x86_64-linux /nix/store/z4wi2zj7c9y169w6p4i0p0z6pqxfwi8x-cedet-1.0pre6.drv /nix/store/z3azr6k8l9kpsy8c3jmdabvclcr3cnkm-cedet-1.0pre6