diff options
author | (cdep)illabout <cdep.illabout@gmail.com> | 2021-07-17 11:10:26 +0900 |
---|---|---|
committer | (cdep)illabout <cdep.illabout@gmail.com> | 2021-07-17 11:10:26 +0900 |
commit | ff0c051daf65555e40a66e9b452568b89d8a5537 (patch) | |
tree | 4217a8eb2e3ec70755c0d9b8bafc9ca65447b9e5 /pkgs/applications/science/logic/cedille | |
parent | f3d08d4b9156d92b22c4aca7e0f5171e3da6ebfd (diff) |
cedille: mark broken
Diffstat (limited to 'pkgs/applications/science/logic/cedille')
-rw-r--r-- | pkgs/applications/science/logic/cedille/default.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/cedille/default.nix b/pkgs/applications/science/logic/cedille/default.nix index 2b099e7664a64..0605873fec147 100644 --- a/pkgs/applications/science/logic/cedille/default.nix +++ b/pkgs/applications/science/logic/cedille/default.nix @@ -52,5 +52,9 @@ stdenv.mkDerivation rec { license = licenses.mit; maintainers = with maintainers; [ marsam mpickering ]; platforms = platforms.unix; + + # Broken due to Agda update. See + # https://github.com/NixOS/nixpkgs/pull/129606#issuecomment-881107449. + broken = true; }; } |