Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | agda: migrate to haskell-ng, update and cleanup | Nikolay Amiantov | 2015-04-06 |
| | | | | Resolves https://github.com/NixOS/nixpkgs/pull/7172. | ||
* | agda-pretty: update darcs revision | Mateusz Kowalczyk | 2014-12-03 |
| | | | | Fixes the package for new Agda version | ||
* | agda-pretty: mark as broken | Mateusz Kowalczyk | 2014-11-20 |
| | | | | Broken by updating the stdlib to 0.9. For now I let the author know. | ||
* | agda-pretty: new package | Mateusz Kowalczyk | 2014-09-27 |