Merge pull request #301328 from ncfavier/search-agda-packages

packages-config.nix: add `agdaPackages`
2024-04-13 17:17:15 +02:00
parent 4cb0574740 bd5839cd1e
commit 4f158a4666
1 changed files with 1 additions and 0 deletions
@@ -8,6 +8,7 @@
  # purposes of the index.
  packageOverrides = super: with super; lib.mapAttrs (_: set: recurseIntoAttrs set) {
    inherit (super)
+      agdaPackages
      apacheHttpdPackages
      fdbPackages
      fusePackages