diff options
| author | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2021-07-15 12:37:11 +0200 |
|---|---|---|
| committer | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2021-07-22 15:33:30 +0200 |
| commit | c64ddc2071939288c03e6e10701b11d0198a7df6 (patch) | |
| tree | 1837500de0b2525dc16d83dda4800597942269c2 /pkgs/top-level | |
| parent | 7d20323b117efe1821baaa12c2e2bc641c580568 (diff) | |
| download | nixlib-c64ddc2071939288c03e6e10701b11d0198a7df6.tar nixlib-c64ddc2071939288c03e6e10701b11d0198a7df6.tar.gz nixlib-c64ddc2071939288c03e6e10701b11d0198a7df6.tar.bz2 nixlib-c64ddc2071939288c03e6e10701b11d0198a7df6.tar.lz nixlib-c64ddc2071939288c03e6e10701b11d0198a7df6.tar.xz nixlib-c64ddc2071939288c03e6e10701b11d0198a7df6.tar.zst nixlib-c64ddc2071939288c03e6e10701b11d0198a7df6.zip | |
agdaPackages.iowa-stdlib: don't try to build on Hydra
It's marked as broken which always creates a lot of clutter in hydra evaluation error pages, so we'll just set hydraPlatforms = [] for now.
Diffstat (limited to 'pkgs/top-level')
0 files changed, 0 insertions, 0 deletions