nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-06-05 21:03:40 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
nixpkgs/pkgs/build-support/agda
History
Naïm Camille Favier 388d2251ee agda: skip eval errors in allPackages 
This fixes `agda.tests.allPackages`, which currently fails when aliases
are enabled because `agdaPackages.generic` throws an evaluation error.
2026-03-23 12:32:51 +01:00
..
default.nix
agdaPackages.mkDerivation: move LC_ALL into env for structuredAttrs
2026-03-23 12:01:38 +01:00
lib.nix
agda: skip eval errors in allPackages
2026-03-23 12:32:51 +01:00