NIXPKG1 http://nixos.org/releases/nixpkgs/nixpkgs-0.12/MANIFEST texlive-extra-2007 i686-linux /nix/store/r684jqs57cjlqb9rms9jxbhrqbf4k03r-texlive-extra-2007.drv /nix/store/cjqrxqkzrqyzzjkqr8hcc28k57ckfr7m-texlive-extra-2007