diff options
| author | xeji <xeji@cat3.de> | 2018-04-11 11:40:50 +0200 |
|---|---|---|
| committer | xeji <xeji@cat3.de> | 2018-04-12 23:04:03 +0200 |
| commit | bc17a66732ba60f7548a8bc263d49aa562445663 (patch) | |
| tree | 0e627f12b2a0fbf60501e8a71b7e4ac20d1b02a0 /pkgs/development/libraries/agda | |
| parent | eb9a133eb67bc7adb46741931c2103548218f5f2 (diff) | |
| download | nixpkgs-bc17a66732ba60f7548a8bc263d49aa562445663.tar nixpkgs-bc17a66732ba60f7548a8bc263d49aa562445663.tar.gz nixpkgs-bc17a66732ba60f7548a8bc263d49aa562445663.tar.bz2 nixpkgs-bc17a66732ba60f7548a8bc263d49aa562445663.tar.lz nixpkgs-bc17a66732ba60f7548a8bc263d49aa562445663.tar.xz nixpkgs-bc17a66732ba60f7548a8bc263d49aa562445663.tar.zst nixpkgs-bc17a66732ba60f7548a8bc263d49aa562445663.zip | |
pretty: mark as broken
Diffstat (limited to 'pkgs/development/libraries/agda')
| -rw-r--r-- | pkgs/development/libraries/agda/pretty/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/development/libraries/agda/pretty/default.nix b/pkgs/development/libraries/agda/pretty/default.nix index 25e6ff6667f..0e4f1da6e14 100644 --- a/pkgs/development/libraries/agda/pretty/default.nix +++ b/pkgs/development/libraries/agda/pretty/default.nix @@ -21,5 +21,6 @@ agda.mkDerivation (self: rec { license = stdenv.lib.licenses.mit; platforms = stdenv.lib.platforms.unix; maintainers = with maintainers; [ fuuzetsu ]; + broken = true; # 2018-04-11 }; }) |