Philipp Joram 294245f750 haskellPackages.Agda: Split outputs to reduce closure size ... After enabling a separate binary output for the `Agda` Haskell package, the new `bin` output measures ~100MiB, compared to the ~4.5GiB before. Using it in `agdaWithPackages` reduces the closure size of an Agda installation from ~5GiB to ~3GiB. The remaining space is taken up mostly by the GHC backend. With this change, derivations depending on `haskellPackages.Agda` directly need to pick the right (binary) output. This concerns in particular `emacsPackages.agda2-mode`.		2024-04-07 16:36:57 +03:00
..
default.nix	haskellPackages.Agda: Split outputs to reduce closure size	2024-04-07 16:36:57 +03:00
lib.nix	agda: Don't be too picky about `everythingFile`	2024-03-18 23:11:20 +01:00