···10471048 devmem2 = callPackage ../os-specific/linux/devmem2 { };
10491050- dbus-broker = callPackage ../os-specific/linux/dbus-broker {};
10511052 ioport = callPackage ../os-specific/linux/ioport {};
1053···5755 compcert = callPackage ../development/compilers/compcert { };
57565757 cpp-gsl = callPackage ../development/libraries/cpp-gsl { };
5758-5759 # Users installing via `nix-env` will likely be using the REPL,
5760 # which has a hard dependency on Z3, so make sure it is available.
5761 cryptol = haskellPackages.cryptol.overrideDerivation (oldAttrs: {
···10471048 devmem2 = callPackage ../os-specific/linux/devmem2 { };
10491050+ dbus-broker = callPackage ../os-specific/linux/dbus-broker { };
10511052 ioport = callPackage ../os-specific/linux/ioport {};
1053···5755 compcert = callPackage ../development/compilers/compcert { };
57565757 cpp-gsl = callPackage ../development/libraries/cpp-gsl { };
5758+5759 # Users installing via `nix-env` will likely be using the REPL,
5760 # which has a hard dependency on Z3, so make sure it is available.
5761 cryptol = haskellPackages.cryptol.overrideDerivation (oldAttrs: {