| Age | Commit message (Expand) | Author |
|---|---|---|
| 2022-08-16 | treewide: makeWrapper buildInputs to nativeBuildInputs | Artturin |
| 2021-01-25 | treewide: remove stdenv where not needed | Pavol Rusnak |
| 2021-01-17 | pkgs/development: stdenv.lib -> lib | Pavol Rusnak |
| 2018-07-02 | idris: Clean up package builder | Silvan Mosberger |
| 2018-05-25 | treewide: use appendToName where appropriate | Matthew Bauer |
| 2018-02-07 | Refactor Idris packaging infrastructure | Matthew Pickering |
| 2017-12-30 | treewide: Don't use envHook anymore | John Ericson |
| 2017-10-30 | Fix idrisPackages.with-packages | Matthew Pickering |
| 2015-11-27 | idris-modules: documentation | Shea Levy |
| 2015-11-27 | idris-modules: Read the filesystem to populate package list | Shea Levy |
 |
index : nixpkgs | |
| Contrib clone of nixpkgs | matthias |
| summaryrefslogtreecommitdiffstats |