agdaPackages.iowa-stdlib: Remove hydraPlatforms

They are set automatically in the agda packages builder.
2021-07-22 16:35:01 +02:00 · 2021-07-22 16:35:01 +02:00 · 6721ae424a
commit 6721ae424a
parent af84eacb05
1 changed files with 0 additions and 2 deletions
--- 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 ];
  };
 })