| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | build-idris-package: ipkgName | TG x | 2018-09-18 |
| * | idris: prefix package derivation names with "idris-" | Silvan Mosberger | 2018-07-16 |
| * | build-idris-package: includePreludeBase -> noPrelude, noBase | Silvan Mosberger | 2018-07-05 |
| * | idris: Clean up package builder | Silvan Mosberger | 2018-07-02 |
| * | idrisPackages: install docs | Silvan Mosberger | 2018-07-02 |
| * | Refactor Idris packaging infrastructure | Matthew Pickering | 2018-02-07 |
| * | Revert "idris: Move library setup to the setup hook." | Matthew Pickering | 2018-02-07 |
| * | idris: Move library setup to the setup hook. | Shea Levy | 2018-01-20 |
| * | treewide: Don't use envHook anymore | John Ericson | 2017-12-30 |
| * | idrisPackages.idris: 1.0 -> 1.1.1 | Thomas Tuegel | 2017-08-23 |
| * | idris-modules: documentation | Shea Levy | 2015-11-27 |
| * | Add wl-pprint Idris package. | Shea Levy | 2015-11-27 |
| * | Add builtin idris packages to idrisPackages | Shea Levy | 2015-11-27 |