diff options
author | Naïm Favier <n@monade.li> | 2024-04-13 17:17:15 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-04-13 17:17:15 +0200 |
commit | 4f158a4666bf6213f75f389921972ca6e82cf433 (patch) | |
tree | 971d56b689f30c75828b2b652a7cac8141d2d818 | |
parent | 4cb0574740c86a31ba0981f6cdf5755bb59b3944 (diff) | |
parent | bd5839cd1e194f321fab466db293b8317f533763 (diff) |
Merge pull request #301328 from ncfavier/search-agda-packages
packages-config.nix: add `agdaPackages`
-rw-r--r-- | pkgs/top-level/packages-config.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/top-level/packages-config.nix b/pkgs/top-level/packages-config.nix index bb360b3538cdb..cd148cd6df10e 100644 --- a/pkgs/top-level/packages-config.nix +++ b/pkgs/top-level/packages-config.nix @@ -8,6 +8,7 @@ # purposes of the index. packageOverrides = super: with super; lib.mapAttrs (_: set: recurseIntoAttrs set) { inherit (super) + agdaPackages apacheHttpdPackages fdbPackages fusePackages |