summary refs log tree commit diff
path: root/pkgs/development/idris-modules
Commit message (Collapse)AuthorAge
...
* | idris: fix modulesMárton Boros2017-12-26
|/
* specdris: init at 2017-11-11 (#31544)Vanessa McHale2017-11-21
|
* Add wrapper for idris exe for gcc/gmp runtime depsMatthew Pickering2017-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-packagesMatthew Pickering2017-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-10xd1le2017-10-19
|
* Revert "Merge branch 'improved-make-overridable' of ↵Shea Levy2017-09-29
| | | | | | | git://github.com/ElvishJerricco/nixpkgs" This reverts commit c3af1210b4c5d7ef380e75add463b37574fdcc8b, reversing changes made to 49f175cd0c80a39e1d05fc687c4a2a40e0aba58c.
* Merge branch 'improved-make-overridable' of ↵Shea Levy2017-09-28
|\ | | | | | | git://github.com/ElvishJerricco/nixpkgs
| * Merge branch 'master' into improved-make-overridableWill Fancher2017-08-26
| |\
| * | Added `overrideScope` for `callPackageWith`Will Fancher2017-07-13
| | | | | | | | | | | | Consequently removing several ad-hoc definitions of the same concept.
* | | treewide: Escape backslash in strings properlyTuomas Tynkkynen2017-09-14
| |/ |/| | | | | "\." is apparently the same as "." wheras the correct one is "\\."
* | idrisPackages.idris: 1.0 -> 1.1.1Thomas Tuegel2017-08-23
| |
* | idrisPackages.build-builtin-package: Include version in nameThomas Tuegel2017-08-22
|/
* idrisPackages.httpclient: initMárton Boros2016-12-20
|
* Merge pull request #19003 from siddharthist/lightyear/initJörg Thalheim2016-09-29
|\ | | | | lightyear: init at 9420f9e
| * lightyear: init at 9420f9eLangston Barrett2016-09-27
| |
* | wl-pprint: update to 2016-09-28Langston Barrett2016-09-28
|/
* idris-modules: pkgs.gnome is now pkgs.gnome2.Shea Levy2016-09-27
| | | | | | Fixes #18998. Closes #19002.
* idris-wl-pprint: Use fetchFromGitHubShea Levy2015-11-28
|
* idris-modules: Add docsShea Levy2015-11-27
|
* idris-modules: documentationShea Levy2015-11-27
|
* Add wl-pprint Idris package.Shea Levy2015-11-27
|
* idris-modules: Filter out default.nixShea Levy2015-11-27
|
* idris-modules: Read the filesystem to populate package listShea Levy2015-11-27
|
* Add builtin idris packages to idrisPackagesShea Levy2015-11-27
|
* Add idrisPackages to all-packages.nixShea Levy2015-11-27
|
* Add with-packages wrapper for idrisShea Levy2015-11-27