tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 pkgs,
3 config,
4 lib,
5 newScope,
6 Agda,
7}:
8
9let
10 mkAgdaPackages = Agda: lib.makeScope newScope (mkAgdaPackages' Agda);
11 mkAgdaPackages' =
12 Agda: self:
13 let
14 inherit (self) callPackage;
15 inherit
16 (callPackage ../build-support/agda {
17 inherit Agda self;
18 inherit (pkgs.haskellPackages) ghcWithPackages;
19 })
20 withPackages
21 mkLibraryFile
22 mkDerivation
23 ;
24 in
25 {
26 inherit mkLibraryFile mkDerivation;
27
28 lib = lib.extend (final: prev: import ../build-support/agda/lib.nix { lib = prev; });
29
30 agda = withPackages [ ];
31
32 standard-library = callPackage ../development/libraries/agda/standard-library { };
33
34 iowa-stdlib = callPackage ../development/libraries/agda/iowa-stdlib { };
35
36 agda-prelude = callPackage ../development/libraries/agda/agda-prelude { };
37
38 agda-categories = callPackage ../development/libraries/agda/agda-categories { };
39
40 agda2hs-base = callPackage ../development/libraries/agda/agda2hs-base { };
41
42 cubical = callPackage ../development/libraries/agda/cubical { };
43
44 cubical-mini = callPackage ../development/libraries/agda/cubical-mini { };
45
46 functional-linear-algebra = callPackage ../development/libraries/agda/functional-linear-algebra { };
47
48 agdarsec = callPackage ../development/libraries/agda/agdarsec { };
49
50 _1lab = callPackage ../development/libraries/agda/1lab { };
51
52 generics = callPackage ../development/libraries/agda/generics { };
53 }
54 // lib.optionalAttrs config.allowAliases {
55 generic = throw "agdaPackages.generic has been removed because it is unmaintained upstream and has been marked as broken since 2021. Consider using agdaPackages.generics instead."; # Added 2025-10-11
56 };
57in
58mkAgdaPackages Agda