diff options
author | xeji <xeji@cat3.de> | 2018-04-11 01:20:44 +0200 |
---|---|---|
committer | xeji <xeji@cat3.de> | 2018-04-12 23:04:02 +0200 |
commit | 1ca9e4ae4ce372ee8ed5c91295883f9ef9e8e481 (patch) | |
tree | e704b250795203bead4797ee7580f1360617a50a /pkgs/tools/misc/mstflint | |
parent | 386772b665a51b90faaec2e4f8843c428e65455d (diff) |
mstflint: mark as broken
Diffstat (limited to 'pkgs/tools/misc/mstflint')
-rw-r--r-- | pkgs/tools/misc/mstflint/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/tools/misc/mstflint/default.nix b/pkgs/tools/misc/mstflint/default.nix index 9706e3f028822..748c0917defbe 100644 --- a/pkgs/tools/misc/mstflint/default.nix +++ b/pkgs/tools/misc/mstflint/default.nix @@ -15,5 +15,6 @@ stdenv.mkDerivation rec { license = licenses.gpl2; platforms = platforms.linux; maintainers = with maintainers; [ wkennington ]; + broken = true; # 2018-04-11 }; } |