From 68a8d668852eeb5000dfc5cf2a8dc14df8a0e2c4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Domen=20Ko=C5=BEar?= Date: Fri, 4 Sep 2015 10:43:12 +0200 Subject: [PATCH] categories: mark as broken cc #9471 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit (cherry picked from commit 4ed27ba31905cb1e5a7081c9682df8cc7fb99444) Signed-off-by: Domen Kožar --- pkgs/development/libraries/agda/categories/default.nix | 1 + 1 file changed, 1 insertion(+) diff --git a/pkgs/development/libraries/agda/categories/default.nix b/pkgs/development/libraries/agda/categories/default.nix index 1a860496a4d..cce73904619 100644 --- a/pkgs/development/libraries/agda/categories/default.nix +++ b/pkgs/development/libraries/agda/categories/default.nix @@ -19,5 +19,6 @@ agda.mkDerivation (self: rec { license = stdenv.lib.licenses.bsd3; platforms = stdenv.lib.platforms.unix; maintainers = with stdenv.lib.maintainers; [ fuuzetsu ]; + broken = true; # doesn't work due to new agdastdlib, see #9471 }; })