diff options
author | Alex Rice <alexrice999@hotmail.co.uk> | 2019-12-29 12:14:16 +0000 |
---|---|---|
committer | Alex Rice <alexrice999@hotmail.co.uk> | 2020-05-14 20:54:11 +0100 |
commit | d30e2468e0c7875d3d4d47404f52647ccea76fcf (patch) | |
tree | 988b1d96ad8fe33e6c287049ae5b013311111d28 /pkgs/top-level/release.nix | |
parent | 6cbaa256fab7df0d213be5caa14a6a29c9a47ed0 (diff) |
agda: rework builder
Diffstat (limited to 'pkgs/top-level/release.nix')
-rw-r--r-- | pkgs/top-level/release.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/top-level/release.nix b/pkgs/top-level/release.nix index e0723523f4e51..60a4a679f1611 100644 --- a/pkgs/top-level/release.nix +++ b/pkgs/top-level/release.nix @@ -181,6 +181,7 @@ let haskell.compiler = packagePlatforms pkgs.haskell.compiler; haskellPackages = packagePlatforms pkgs.haskellPackages; idrisPackages = packagePlatforms pkgs.idrisPackages; + agdaPackages = packagePlatforms pkgs.agdaPackages; tests = packagePlatforms pkgs.tests; |