diff options
author | Uli Baum <xeji@cat3.de> | 2018-09-21 11:38:29 +0200 |
---|---|---|
committer | Uli Baum <xeji@cat3.de> | 2018-09-25 11:59:26 +0200 |
commit | 395a1528f0ff7d7a3797aa5d91662007b8e7d6c7 (patch) | |
tree | 518205255f1d0a8d8ffd343e5f3913a902508e69 | |
parent | 61abf3bbd9154d6b25234a877272d158144709ff (diff) |
gtk-sharp-3_0: mark broken
build has failed since 2018-04-28 no maintainer
-rw-r--r-- | pkgs/development/libraries/gtk-sharp/3.0.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/development/libraries/gtk-sharp/3.0.nix b/pkgs/development/libraries/gtk-sharp/3.0.nix index 3a473d6303adf..f8f1f20cc2fd7 100644 --- a/pkgs/development/libraries/gtk-sharp/3.0.nix +++ b/pkgs/development/libraries/gtk-sharp/3.0.nix @@ -47,5 +47,6 @@ stdenv.mkDerivation { meta = { platforms = stdenv.lib.platforms.linux; + broken = true; # 2018-09-21, build has failed since 2018-04-28 }; } |