diff options
| author | Matthew Bauer <mjbauer95@gmail.com> | 2018-06-23 17:47:52 -0400 |
|---|---|---|
| committer | Matthew Bauer <mjbauer95@gmail.com> | 2018-06-23 17:50:00 -0400 |
| commit | fb1852f4246f1c40b68fa435e31d22b250b4e417 (patch) | |
| tree | f7b572f145ef1c6d694ab44e0f75aeaf3b090d5a /pkgs | |
| parent | 6127ec1665cb99c9ecb5a31ae040f7942e007eaa (diff) | |
| download | nixlib-fb1852f4246f1c40b68fa435e31d22b250b4e417.tar nixlib-fb1852f4246f1c40b68fa435e31d22b250b4e417.tar.gz nixlib-fb1852f4246f1c40b68fa435e31d22b250b4e417.tar.bz2 nixlib-fb1852f4246f1c40b68fa435e31d22b250b4e417.tar.lz nixlib-fb1852f4246f1c40b68fa435e31d22b250b4e417.tar.xz nixlib-fb1852f4246f1c40b68fa435e31d22b250b4e417.tar.zst nixlib-fb1852f4246f1c40b68fa435e31d22b250b4e417.zip | |
agda-stdlib: broken on darwin
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/development/libraries/agda/agda-stdlib/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/development/libraries/agda/agda-stdlib/default.nix b/pkgs/development/libraries/agda/agda-stdlib/default.nix index c72572139c68..331039ec329f 100644 --- a/pkgs/development/libraries/agda/agda-stdlib/default.nix +++ b/pkgs/development/libraries/agda/agda-stdlib/default.nix @@ -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 ]; }; }) |