diff options
author | xeji <xeji@cat3.de> | 2018-04-11 11:36:35 +0200 |
---|---|---|
committer | xeji <xeji@cat3.de> | 2018-04-12 23:04:03 +0200 |
commit | 8146cf699a94ad57944deefc0b5b1a687068958f (patch) | |
tree | 4800740d512b702a54f83765197c0a9e139b8ba8 /pkgs | |
parent | d63702a47374e5bcb5373c0f415dca351eb3e78b (diff) |
ori: mark as broken
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/tools/backup/ori/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/tools/backup/ori/default.nix b/pkgs/tools/backup/ori/default.nix index d95716864c885..279652b0cd0b4 100644 --- a/pkgs/tools/backup/ori/default.nix +++ b/pkgs/tools/backup/ori/default.nix @@ -24,5 +24,6 @@ stdenv.mkDerivation rec { homepage = http://ori.scs.stanford.edu/; license = licenses.mit; platforms = platforms.unix; + broken = true; # 2018-04-11 }; } |