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

…

lib.nix

agda: skip eval errors in allPackages

2026-03-23 12:32:51 +01:00