agda.iowa-stdlib: mark broken

2020-05-14 20:54:12 +01:00
parent a7cd372a3e
commit 1175065111
1 changed files with 2 additions and 0 deletions
@@ -24,6 +24,8 @@ mkDerivation (rec {
    description = "Agda standard library developed at Iowa";
    license = stdenv.lib.licenses.free;
    platforms = stdenv.lib.platforms.unix;
+    # broken since Agda 2.6.1
+    broken = true;
    maintainers = with stdenv.lib.maintainers; [ alexarice ];
  };
 })