public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

agda-stdlib: list as not broken on Darwin (#76485)

Browse Source
This commit is contained in:
Ryan Orendorff 2019-12-25 12:22:29 -07:00 committed by Danylo Hlynskyi
parent 2467edf80c
commit 2d2146b1fe
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/development/libraries/agda/agda-stdlib/default.nix
View File

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