categories: mark as broken cc #9471
(cherry picked from commit 4ed27ba31905cb1e5a7081c9682df8cc7fb99444) Signed-off-by: Domen Kožar <domen@dev.si>
This commit is contained in:
parent
86eaeb4c0a
commit
68a8d66885
@ -19,5 +19,6 @@ agda.mkDerivation (self: rec {
|
|||||||
license = stdenv.lib.licenses.bsd3;
|
license = stdenv.lib.licenses.bsd3;
|
||||||
platforms = stdenv.lib.platforms.unix;
|
platforms = stdenv.lib.platforms.unix;
|
||||||
maintainers = with stdenv.lib.maintainers; [ fuuzetsu ];
|
maintainers = with stdenv.lib.maintainers; [ fuuzetsu ];
|
||||||
|
broken = true; # doesn't work due to new agdastdlib, see #9471
|
||||||
};
|
};
|
||||||
})
|
})
|
||||||
|
Loading…
x
Reference in New Issue
Block a user