summary refs log tree commit diff
path: root/pkgs/development/idris-modules/build-idris-package.nix
Commit message (Expand)AuthorAge
* add options for build idris package (#65666)Silvan Mosberger2019-08-07
|\
| * build-idris-package: add options for idris commandsMarco Perone2019-08-06
* | idrisPackages: Fix overrides not applyingSilvan Mosberger2019-08-02
|/
* idrisPackages.build-idris-package: Install binariesSilvan Mosberger2019-04-28
* build-idris-package: ipkgNameTG x2018-09-18
* idris: prefix package derivation names with "idris-"Silvan Mosberger2018-07-16
* build-idris-package: includePreludeBase -> noPrelude, noBaseSilvan Mosberger2018-07-05
* idris: Clean up package builderSilvan Mosberger2018-07-02
* idrisPackages: install docsSilvan Mosberger2018-07-02
* Refactor Idris packaging infrastructureMatthew Pickering2018-02-07
* Revert "idris: Move library setup to the setup hook."Matthew Pickering2018-02-07
* idris: Move library setup to the setup hook.Shea Levy2018-01-20
* treewide: Don't use envHook anymoreJohn Ericson2017-12-30
* idrisPackages.idris: 1.0 -> 1.1.1Thomas Tuegel2017-08-23
* idris-modules: documentationShea Levy2015-11-27
* Add wl-pprint Idris package.Shea Levy2015-11-27
* Add builtin idris packages to idrisPackagesShea Levy2015-11-27
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-28 21:26:27 +0000