NIXPKG1 http://nix.cs.uu.nl/dist/nix/nixpkgs-0.10/MANIFEST jetty-5.1.4 i686-linux /nix/store/idgbcyzvgkny1cajcb4p2yn8bdkkraq7-jetty-5.1.4.drv /nix/store/zk0b8q3146yq81h5r9mazqsj7f9xlnkc-jetty-5.1.4