cedille: mark broken

2021-07-17 11:10:26 +09:00 · 2021-07-17 11:10:26 +09:00 · ff0c051daf
commit ff0c051daf
parent f3d08d4b91
1 changed files with 4 additions and 0 deletions
--- 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;
  };
 }