diff options
author | xeji <xeji@cat3.de> | 2018-04-10 23:19:16 +0200 |
---|---|---|
committer | xeji <xeji@cat3.de> | 2018-04-12 23:04:00 +0200 |
commit | 0defae41cf09c5f5f7d674e12280708635c5b716 (patch) | |
tree | d92bea63e64eb2f91ae2b5731a2b50fe89eceff4 /pkgs/tools/security/gencfsm/default.nix | |
parent | b82170a1bc3520cd8a6c79f70a1292d422ed263b (diff) |
gencfsm: mark as broken
Diffstat (limited to 'pkgs/tools/security/gencfsm/default.nix')
-rw-r--r-- | pkgs/tools/security/gencfsm/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/tools/security/gencfsm/default.nix b/pkgs/tools/security/gencfsm/default.nix index 7f6f28593d20..3a9c81df2343 100644 --- a/pkgs/tools/security/gencfsm/default.nix +++ b/pkgs/tools/security/gencfsm/default.nix @@ -35,5 +35,6 @@ stdenv.mkDerivation rec { license = licenses.gpl2Plus; platforms = platforms.linux; maintainers = [ maintainers.spacefrogg ]; + broken = true; # 2018-04-10 }; } |