diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-11-17 17:13:01 +0000 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-11-17 17:13:01 +0000 |
| commit | 9ee5b8d3fc26c54d52e5f2756cf62265c442a515 (patch) | |
| tree | a14d11f122c0a6fdd3d91d1d6f640a1cbcce896f /pkgs/development/libraries/agda | |
| parent | 9e79811eb6fe04e424e03b7b9e319a3d020cc579 (diff) | |
| download | nixpkgs-9ee5b8d3fc26c54d52e5f2756cf62265c442a515.tar nixpkgs-9ee5b8d3fc26c54d52e5f2756cf62265c442a515.tar.gz nixpkgs-9ee5b8d3fc26c54d52e5f2756cf62265c442a515.tar.bz2 nixpkgs-9ee5b8d3fc26c54d52e5f2756cf62265c442a515.tar.lz nixpkgs-9ee5b8d3fc26c54d52e5f2756cf62265c442a515.tar.xz nixpkgs-9ee5b8d3fc26c54d52e5f2756cf62265c442a515.tar.zst nixpkgs-9ee5b8d3fc26c54d52e5f2756cf62265c442a515.zip | |
agda-iowa-stdlib: mark as broken
The recent update of Agda breaks this, including the most recent SVN checkout. I notified the author but marking as broken until a fix is committed.
Diffstat (limited to 'pkgs/development/libraries/agda')
| -rw-r--r-- | pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix b/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix index fa8ed9e80a7..e8efcf3d1eb 100644 --- a/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix +++ b/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix @@ -22,5 +22,6 @@ agda.mkDerivation (self: rec { license = stdenv.lib.licenses.free; platforms = stdenv.lib.platforms.unix; maintainers = with stdenv.lib.maintainers; [ fuuzetsu ]; + broken = true; }; }) |