NIXPKG1 http://nixos.org/releases/nixpkgs/nixpkgs-0.12/MANIFEST texlive-core-2007 i686-linux /nix/store/8ij80mf9w46l99b69nyi2z8kf36hhzzi-texlive-core-2007.drv /nix/store/jn70sfm3yzb2zx16mlxw2qw9yxpc0iz4-texlive-core-2007