diff options
| author | Naïm Favier <n@monade.li> | 2023-02-12 14:44:16 +0100 |
|---|---|---|
| committer | Naïm Favier <n@monade.li> | 2023-02-12 14:44:16 +0100 |
| commit | 65e774e2a4002b762aa576ba1d0f0ed71298c86d (patch) | |
| tree | 05e49408b3184df85901353d50e2f58c3faeced9 /pkgs/development/python-modules/rangehttpserver | |
| parent | c2166eea486b228862f627b5dc83b2c0d92b7910 (diff) | |
agda: fix passthru
The current `//` override to `agda.passthru.tests` is non-recursive so
it destroys everything else under `passthru`, and furthermore does not
go through `mkDerivation` so that we end up with different values for
`agda.tests` and `agda.passthru.tests`.
Fix it by moving the `allPackages` test to the definition of
`withPackages`.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions