packages-config.nix: add agdaPackages

2026-08-31 20:54:56 +00:00 · 2024-04-03 21:14:23 +02:00
parent a41e12cc9d
commit bd5839cd1e
1 changed files with 1 additions and 0 deletions
--- 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