agda-stdlib: broken on darwin

This commit is contained in:
Matthew Bauer 2018-06-23 17:47:52 -04:00
parent 6127ec1665
commit fb1852f424

View File

@ -23,6 +23,7 @@ agda.mkDerivation (self: rec {
description = "A standard library for use with the Agda compiler";
license = stdenv.lib.licenses.mit;
platforms = stdenv.lib.platforms.unix;
broken = stdenv.isDarwin;
maintainers = with maintainers; [ jwiegley fuuzetsu mudri ];
};
})