···3236323632373237 ninka = callPackage ../development/tools/misc/ninka { };
3238323832393239+ nixnote2 = libsForQt5.callPackage ../applications/misc/nixnote2 { };
32403240+32393241 nodejs = hiPrio nodejs-6_x;
3240324232413243 nodejs-slim = nodejs-slim-6_x;
···57555757 compcert = callPackage ../development/compilers/compcert { };
5756575857575759 cpp-gsl = callPackage ../development/libraries/cpp-gsl { };
57585758-57605760+57595761 # Users installing via `nix-env` will likely be using the REPL,
57605762 # which has a hard dependency on Z3, so make sure it is available.
57615763 cryptol = haskellPackages.cryptol.overrideDerivation (oldAttrs: {