summary refs log tree commit diff
path: root/pkgs/development/idris-modules
Commit message (Expand)AuthorAge
...
* | idris: Wrap with IDRIS_CCSilvan Mosberger2018-07-02
|/
* idrisPackages.bi: 2018-01-17 -> 2018-06-25 (#42621)Silvan Mosberger2018-06-26
* treewide: use appendToName where appropriateMatthew Bauer2018-05-25
* idrisPackages.vdom: init at 0.6.0Márton Boros2018-05-08
* Move all nixpkgs doc files in to the doc directoryGraham Christensen2018-03-25
* idrisPackages: add packagesMárton Boros2018-03-20
* idrisPackages.wl-pprint: 2016-09-28 -> 2017-03-13Márton Boros2018-03-09
* idrisPackages: fix errorsMárton Boros2018-03-09
* Refactor Idris packaging infrastructureMatthew Pickering2018-02-07
* Revert "idris: Move library setup to the setup hook."Matthew Pickering2018-02-07
* Undo spacing differenceMárton Boros2018-02-03
* Merge branch 'master' into fix-idris-modulesMárton Boros2018-02-03
|\
| * idris: Move library setup to the setup hook.Shea Levy2018-01-20
| * treewide: Don't use envHook anymoreJohn Ericson2017-12-30
* | 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
* Fix idrisPackages.with-packagesMatthew Pickering2017-10-30
* idrisPackages.lightyear: 2016-08-01 -> 2017-09-10xd1le2017-10-19
* Revert "Merge branch 'improved-make-overridable' of git://github.com/ElvishJe...Shea Levy2017-09-29
* Merge branch 'improved-make-overridable' of git://github.com/ElvishJerricco/n...Shea Levy2017-09-28
|\
| * Merge branch 'master' into improved-make-overridableWill Fancher2017-08-26
| |\
| * | Added `overrideScope` for `callPackageWith`Will Fancher2017-07-13
* | | treewide: Escape backslash in strings properlyTuomas Tynkkynen2017-09-14
| |/ |/|
* | 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 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
* 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-14 13:26:10 +0000