diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-11-20 09:04:29 +0000 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-11-20 09:04:54 +0000 |
| commit | 997b4bff292a918bf43fddd446e45ec6853b3b64 (patch) | |
| tree | d5dfeacf1d42ff11e989ec23d3a3e0e20baf9f7f /pkgs/development/libraries/agda | |
| parent | cf399c1d68a0e2d5653b453a333dc5b56b644c50 (diff) | |
| download | nixpkgs-997b4bff292a918bf43fddd446e45ec6853b3b64.tar nixpkgs-997b4bff292a918bf43fddd446e45ec6853b3b64.tar.gz nixpkgs-997b4bff292a918bf43fddd446e45ec6853b3b64.tar.bz2 nixpkgs-997b4bff292a918bf43fddd446e45ec6853b3b64.tar.lz nixpkgs-997b4bff292a918bf43fddd446e45ec6853b3b64.tar.xz nixpkgs-997b4bff292a918bf43fddd446e45ec6853b3b64.tar.zst nixpkgs-997b4bff292a918bf43fddd446e45ec6853b3b64.zip | |
agda-pretty: mark as broken
Broken by updating the stdlib to 0.9. For now I let the author know.
Diffstat (limited to 'pkgs/development/libraries/agda')
| -rw-r--r-- | pkgs/development/libraries/agda/pretty/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/development/libraries/agda/pretty/default.nix b/pkgs/development/libraries/agda/pretty/default.nix index 1bcb9f8459b..e0a24a1adc1 100644 --- a/pkgs/development/libraries/agda/pretty/default.nix +++ b/pkgs/development/libraries/agda/pretty/default.nix @@ -21,5 +21,6 @@ agda.mkDerivation (self: rec { license = stdenv.lib.licenses.mit; platforms = stdenv.lib.platforms.unix; maintainers = with maintainers; [ fuuzetsu ]; + broken = true; }; }) |