NIXPKG1 http://nix.cs.uu.nl/dist/nix/nixpkgs-0.9/MANIFEST jikes-1.22 i686-linux /nix/store/cr44hchd289ib33yp2gl05nzp27p2m96-jikes-1.22.drv /nix/store/arik383yawilahd3x3gr3q3ncc5zzw9p-jikes-1.22