NIXPKG1 http://nix.cs.uu.nl/dist/nix/nixpkgs-0.10/MANIFEST jikes-1.22 i686-linux /nix/store/pbvh58wha0wblx5sn1lc93hlw13wrq7w-jikes-1.22.drv /nix/store/czzqk1zgvqrywvk2yp8ysdk8hi6y4pvb-jikes-1.22