Mateusz Kowalczyk 997b4bff29 agda-pretty: mark as broken ... Broken by updating the stdlib to 0.9. For now I let the author know.		2014-11-20 09:04:54 +00:00
..
contextfile	…
default.nix	…