···3333 '';
34343535 meta = {
3636+ broken = (stdenv.isLinux && stdenv.isAarch64);
3637 description = "LV2 EQ plugins and more, with 64 bit processing";
3738 longDescription = ''
3839 Up to 10-Bands parametric equalizer with mono and stereo versions.
+1
pkgs/applications/audio/faustStk/default.nix
···3030 done
3131 '';
3232 meta = with lib; {
3333+ broken = (stdenv.isLinux && stdenv.isAarch64);
3334 description = "The physical modeling instruments included with faust, compiled as jack standalone and lv2 instruments";
3435 homepage = "https://ccrma.stanford.edu/~rmichon/faustSTK/";
3536 license = licenses.stk;
···4343 enableParallelBuilding = true;
44444545 meta = {
4646- broken = stdenv.isDarwin;
4646+ broken = (stdenv.isLinux && stdenv.isAarch64) || stdenv.isDarwin;
4747 description = "Privacy-Focused Marketplace & Decentralized Application Platform";
4848 longDescription = ''
4949 An open source, decentralized privacy platform built for global person to person eCommerce.
+1-1
pkgs/applications/blockchains/pivx/default.nix
···6464 '';
65656666 meta = with lib; {
6767- broken = stdenv.isDarwin;
6767+ broken = (stdenv.isLinux && stdenv.isAarch64) || stdenv.isDarwin;
6868 description = "An open source crypto-currency focused on fast private transactions";
6969 longDescription = ''
7070 PIVX is an MIT licensed, open source, blockchain-based cryptocurrency with
···1818 '';
19192020 meta = with lib; {
2121+ broken = (stdenv.isLinux && stdenv.isAarch64);
2122 homepage = "https://github.com/seenaburns/stag";
2223 description = "Terminal streaming bar graph passed through stdin";
2324 license = licenses.bsdOriginal;
+1
pkgs/applications/misc/workrave/default.nix
···3131 enableParallelBuilding = true;
32323333 meta = with lib; {
3434+ broken = (stdenv.isLinux && stdenv.isAarch64);
3435 description = "A program to help prevent Repetitive Strain Injury";
3536 longDescription = ''
3637 Workrave is a program that assists in the recovery and prevention of
···2323 '';
24242525 meta = with lib; {
2626+ broken = (stdenv.isLinux && stdenv.isAarch64);
2627 description = "An IRC channel management bot written purely in C/C++";
2728 longDescription = ''
2829 Wraith is an IRC channel management bot written purely in C/C++. It has
···2323 '';
24242525 meta = with lib; {
2626- broken = stdenv.isDarwin;
2626+ broken = (stdenv.isLinux && stdenv.isAarch64) || stdenv.isDarwin;
2727 description = "Formal Specifications for Verification and Synthesis";
2828 homepage = "https://github.com/VUISIS/formula-dotnet";
2929 license = licenses.mspl;
+1
pkgs/applications/science/logic/hol/default.nix
···6666 '';
67676868 meta = with lib; {
6969+ broken = (stdenv.isLinux && stdenv.isAarch64);
6970 description = "Interactive theorem prover based on Higher-Order Logic";
7071 longDescription = ''
7172 HOL4 is the latest version of the HOL interactive proof
···2222 buildInputs = [ libdvdread ];
23232424 meta = {
2525+ broken = (stdenv.isLinux && stdenv.isAarch64);
2526 description = "Command line tool to make a copy from a video DVD for private use";
2627 homepage = "https://sourceforge.net/projects/lxdvdrip";
2728 license = lib.licenses.gpl2;