From bd5839cd1e194f321fab466db293b8317f533763 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Na=C3=AFm=20Favier?= <n@monade.li>
Date: Wed, 3 Apr 2024 21:14:23 +0200
Subject: [PATCH] packages-config.nix: add `agdaPackages`

---
 pkgs/top-level/packages-config.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/top-level/packages-config.nix b/pkgs/top-level/packages-config.nix
index bb360b3538cd..cd148cd6df10 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