about summary refs log tree commit diff
path: root/pkgs/build-support/agda
Commit message (Expand)AuthorAge
* Add a builder for Agda packages.Mateusz Kowalczyk2014-09-01