Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | | idris: fix modules | Márton Boros | 2017-12-26 | |
|/ | ||||
* | specdris: init at 2017-11-11 (#31544) | Vanessa McHale | 2017-11-21 | |
| | ||||
* | Add wrapper for idris exe for gcc/gmp runtime deps | Matthew Pickering | 2017-11-02 | |
| | | | | | | | | Fixes #10450 When compiling packages with -o the executable invokes gcc. There is no compile time flag to control this invocation so for now we create a wrapper which provides the dependency at runtime. | |||
* | Fix idrisPackages.with-packages | Matthew Pickering | 2017-10-30 | |
| | | | | | 1. The ln step was failing due to a file already existing 2. gcc was invoked directly which caused failure on OS X. | |||
* | idrisPackages.lightyear: 2016-08-01 -> 2017-09-10 | xd1le | 2017-10-19 | |
| | ||||
* | Revert "Merge branch 'improved-make-overridable' of ↵ | Shea Levy | 2017-09-29 | |
| | | | | | | | git://github.com/ElvishJerricco/nixpkgs" This reverts commit c3af1210b4c5d7ef380e75add463b37574fdcc8b, reversing changes made to 49f175cd0c80a39e1d05fc687c4a2a40e0aba58c. | |||
* | Merge branch 'improved-make-overridable' of ↵ | Shea Levy | 2017-09-28 | |
|\ | | | | | | | git://github.com/ElvishJerricco/nixpkgs | |||
| * | Merge branch 'master' into improved-make-overridable | Will Fancher | 2017-08-26 | |
| |\ | ||||
| * | | Added `overrideScope` for `callPackageWith` | Will Fancher | 2017-07-13 | |
| | | | | | | | | | | | | Consequently removing several ad-hoc definitions of the same concept. | |||
* | | | treewide: Escape backslash in strings properly | Tuomas Tynkkynen | 2017-09-14 | |
| |/ |/| | | | | | "\." is apparently the same as "." wheras the correct one is "\\." | |||
* | | idrisPackages.idris: 1.0 -> 1.1.1 | Thomas Tuegel | 2017-08-23 | |
| | | ||||
* | | idrisPackages.build-builtin-package: Include version in name | Thomas Tuegel | 2017-08-22 | |
|/ | ||||
* | idrisPackages.httpclient: init | Márton Boros | 2016-12-20 | |
| | ||||
* | Merge pull request #19003 from siddharthist/lightyear/init | Jörg Thalheim | 2016-09-29 | |
|\ | | | | | lightyear: init at 9420f9e | |||
| * | lightyear: init at 9420f9e | Langston Barrett | 2016-09-27 | |
| | | ||||
* | | wl-pprint: update to 2016-09-28 | Langston Barrett | 2016-09-28 | |
|/ | ||||
* | idris-modules: pkgs.gnome is now pkgs.gnome2. | Shea Levy | 2016-09-27 | |
| | | | | | | Fixes #18998. Closes #19002. | |||
* | idris-wl-pprint: Use fetchFromGitHub | Shea Levy | 2015-11-28 | |
| | ||||
* | idris-modules: Add docs | Shea Levy | 2015-11-27 | |
| | ||||
* | idris-modules: documentation | Shea Levy | 2015-11-27 | |
| | ||||
* | Add wl-pprint Idris package. | Shea Levy | 2015-11-27 | |
| | ||||
* | idris-modules: Filter out default.nix | Shea Levy | 2015-11-27 | |
| | ||||
* | idris-modules: Read the filesystem to populate package list | Shea Levy | 2015-11-27 | |
| | ||||
* | Add builtin idris packages to idrisPackages | Shea Levy | 2015-11-27 | |
| | ||||
* | Add idrisPackages to all-packages.nix | Shea Levy | 2015-11-27 | |
| | ||||
* | Add with-packages wrapper for idris | Shea Levy | 2015-11-27 | |