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/data | |
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/data')
0 files changed, 0 insertions, 0 deletions