Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2022-02-23 | idris-modules: rename name to pname | Felix Buehler | 1 | -5/+5 |
2018-07-21 | pkgs/*: remove unreferenced function arguments | volth | 1 | -1/+1 |
2018-07-05 | build-idris-package: includePreludeBase -> noPrelude, noBase | Silvan Mosberger | 1 | -1/+2 |
2018-07-02 | idris: Clean up package builder | Silvan Mosberger | 1 | -0/+2 |
2018-02-07 | Refactor Idris packaging infrastructure | Matthew Pickering | 1 | -8/+4 |
2017-08-23 | idrisPackages.idris: 1.0 -> 1.1.1 | Thomas Tuegel | 1 | -2/+5 |
2017-08-22 | idrisPackages.build-builtin-package: Include version in name | Thomas Tuegel | 1 | -2/+6 |
2015-11-27 | idris-modules: documentation | Shea Levy | 1 | -2/+9 |
2015-11-27 | idris-modules: Read the filesystem to populate package list | Shea Levy | 1 | -1/+1 |
2015-11-27 | Add builtin idris packages to idrisPackages | Shea Levy | 1 | -0/+12 |