agda-TotalParserCombinators: mark as broken

Due to 0.9 stdlib update, author notified.
2014-11-20 21:16:33 +00:00 · 2014-11-20 21:16:33 +00:00 · 12cb1dcb18
commit 12cb1dcb18
parent bf73a53ee9
1 changed files with 1 additions and 0 deletions
--- a/pkgs/development/libraries/agda/TotalParserCombinators/default.nix
+++ b/pkgs/development/libraries/agda/TotalParserCombinators/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;
  };
 })