···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: {
···8184 appstream = callPackage ../development/libraries/appstream { };
81858186 appstream-glib = callPackage ../development/libraries/appstream-glib { };
0081878188 apr = callPackage ../development/libraries/apr { };
8189
···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: {
···8184 appstream = callPackage ../development/libraries/appstream { };
81858186 appstream-glib = callPackage ../development/libraries/appstream-glib { };
8187+8188+ appstream-qt = libsForQt5.callPackage ../development/libraries/appstream/qt.nix { };
81898190 apr = callPackage ../development/libraries/apr { };
8191