diff options
author | Rick van Schijndel <rol3517@gmail.com> | 2022-05-29 11:37:28 +0200 |
---|---|---|
committer | Janne Heß <janne@hess.ooo> | 2022-05-30 13:42:58 +0200 |
commit | 433701147a8a4766edd51114d186a54e19fc13cc (patch) | |
tree | db075e7fca2700fcf2fbd05176c210a5b1fac647 /pkgs/applications/science/logic/open-wbo | |
parent | 010f6ee30de634c51d0c7337762dee61cb8427ea (diff) |
treewide: pkgs/applications: mark broken for aarch64-linux
Diffstat (limited to 'pkgs/applications/science/logic/open-wbo')
-rw-r--r-- | pkgs/applications/science/logic/open-wbo/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/open-wbo/default.nix b/pkgs/applications/science/logic/open-wbo/default.nix index 193f603656dca..3677eb39de6aa 100644 --- a/pkgs/applications/science/logic/open-wbo/default.nix +++ b/pkgs/applications/science/logic/open-wbo/default.nix @@ -19,6 +19,7 @@ stdenv.mkDerivation { ''; meta = with lib; { + broken = (stdenv.isLinux && stdenv.isAarch64); description = "State-of-the-art MaxSAT and Pseudo-Boolean solver"; maintainers = with maintainers; [ gebner ]; platforms = platforms.unix; |