NIXPKG1 http://nixos.org/releases/nixpkgs/nixpkgs-0.12/MANIFEST docbook5-5.0 x86_64-linux /nix/store/ngx00jmwfhqjwmdi21xlgaqlsk91brv3-docbook5-5.0.drv /nix/store/39ryvp7im8vcylcx20mgwkwdscp5mj9y-docbook5-5.0