Revert "linuxManualConfig: set badPlatforms"

This reverts commit 5c5e5e2f1f.
2023-07-28 12:32:02 -07:00
parent 007f794167
commit c801a96a0d
1 changed files with 0 additions and 3 deletions
@@ -407,9 +407,6 @@ stdenv.mkDerivation ({
      maintainers.thoughtpolice
    ];
    platforms = platforms.linux;
-    badPlatforms =
-      lib.optionals (lib.versionOlder version "4.15") [ "riscv32-linux" "riscv64-linux" ] ++
-      lib.optional (lib.versionOlder version "5.19") "loongarch64-linux";
    timeout = 14400; # 4 hours
  } // extraMeta;
 } // optionalAttrs (pos != null) {