diff options
author | Manuel Bärenz <programming@manuelbaerenz.de> | 2021-07-22 16:35:01 +0200 |
---|---|---|
committer | sterni <sternenseemann@systemli.org> | 2021-07-22 17:29:09 +0200 |
commit | 6721ae424aeb0ddb4feeabed1eadcbcce6b7c1f5 (patch) | |
tree | 1122be613553548d29c6d3427f65d67d8c9c8307 /pkgs | |
parent | af84eacb05c5210ef1bb2520ed9e6e40c063d605 (diff) | |
download | nixpkgs-6721ae424aeb0ddb4feeabed1eadcbcce6b7c1f5.tar nixpkgs-6721ae424aeb0ddb4feeabed1eadcbcce6b7c1f5.tar.gz nixpkgs-6721ae424aeb0ddb4feeabed1eadcbcce6b7c1f5.tar.bz2 nixpkgs-6721ae424aeb0ddb4feeabed1eadcbcce6b7c1f5.tar.lz nixpkgs-6721ae424aeb0ddb4feeabed1eadcbcce6b7c1f5.tar.xz nixpkgs-6721ae424aeb0ddb4feeabed1eadcbcce6b7c1f5.tar.zst nixpkgs-6721ae424aeb0ddb4feeabed1eadcbcce6b7c1f5.zip |
agdaPackages.iowa-stdlib: Remove hydraPlatforms
They are set automatically in the agda packages builder.
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/libraries/agda/iowa-stdlib/default.nix | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/pkgs/development/libraries/agda/iowa-stdlib/default.nix b/pkgs/development/libraries/agda/iowa-stdlib/default.nix index ff92e6a0610..1383cff9e55 100644 --- a/pkgs/development/libraries/agda/iowa-stdlib/default.nix +++ b/pkgs/development/libraries/agda/iowa-stdlib/default.nix @@ -26,8 +26,6 @@ mkDerivation (rec { platforms = lib.platforms.unix; # broken since Agda 2.6.1 broken = true; - # remove once unbroken - hydraPlatforms = lib.platforms.none; maintainers = with lib.maintainers; [ alexarice turion ]; }; }) |