| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2011-08-07 | ivor: updated to version 0.1.14.1 | Peter Simons | 1 | -7/+11 |
| 2010-09-29 | Updated the Idris compiler. | Andres Löh | 1 | -5/+7 |
| 2009-05-13 | Added Idris and updated fetchdarcs. | Andres Löh | 1 | -0/+12 |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |