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 |
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 |