about summary refs log tree commit diff
path: root/pkgs/development/idris-modules
AgeCommit message (Expand)AuthorFilesLines
2018-07-02idris: Wrap with IDRIS_CCSilvan Mosberger1-1/+2
2018-06-26idrisPackages.bi: 2018-01-17 -> 2018-06-25 (#42621)Silvan Mosberger1-3/+3
2018-05-25treewide: use appendToName where appropriateMatthew Bauer1-3/+3
2018-05-08idrisPackages.vdom: init at 0.6.0Márton Boros2-0/+30
2018-03-25Move all nixpkgs doc files in to the doc directoryGraham Christensen1-39/+1
2018-03-20idrisPackages: add packagesMárton Boros81-57/+2422
2018-03-09idrisPackages.wl-pprint: 2016-09-28 -> 2017-03-13Márton Boros1-3/+3
2018-03-09idrisPackages: fix errorsMárton Boros2-3/+1
2018-02-07Refactor Idris packaging infrastructureMatthew Pickering8-106/+93
2018-02-07Revert "idris: Move library setup to the setup hook."Matthew Pickering3-23/+23
2018-02-03Undo spacing differenceMárton Boros1-0/+1
2018-02-03Merge branch 'master' into fix-idris-modulesMárton Boros4-25/+25
2018-01-20idris: Move library setup to the setup hook.Shea Levy3-23/+23
2017-12-30treewide: Don't use envHook anymoreJohn Ericson2-2/+3
2017-12-26idris: fix modulesMárton Boros1-3/+3
2017-11-21specdris: init at 2017-11-11 (#31544)Vanessa McHale1-0/+43
2017-11-02Add wrapper for idris exe for gcc/gmp runtime depsMatthew Pickering2-2/+21
2017-10-30Fix idrisPackages.with-packagesMatthew Pickering1-2/+2
2017-10-19idrisPackages.lightyear: 2016-08-01 -> 2017-09-10xd1le1-3/+3
2017-09-29Revert "Merge branch 'improved-make-overridable' of git://github.com/ElvishJe...Shea Levy1-1/+10
2017-09-28Merge branch 'improved-make-overridable' of git://github.com/ElvishJerricco/n...Shea Levy1-10/+1
2017-09-14treewide: Escape backslash in strings properlyTuomas Tynkkynen1-1/+1
2017-08-26Merge branch 'master' into improved-make-overridableWill Fancher2-10/+18
2017-08-23idrisPackages.idris: 1.0 -> 1.1.1Thomas Tuegel2-8/+12
2017-08-22idrisPackages.build-builtin-package: Include version in nameThomas Tuegel1-2/+6
2017-07-13Added `overrideScope` for `callPackageWith`Will Fancher1-10/+1
2016-12-20idrisPackages.httpclient: initMárton Boros1-0/+30
2016-09-29Merge pull request #19003 from siddharthist/lightyear/initJörg Thalheim1-0/+32
2016-09-28wl-pprint: update to 2016-09-28Langston Barrett1-7/+9
2016-09-27lightyear: init at 9420f9eLangston Barrett1-0/+32
2016-09-27idris-modules: pkgs.gnome is now pkgs.gnome2.Shea Levy1-1/+1
2015-11-28idris-wl-pprint: Use fetchFromGitHubShea Levy1-4/+5
2015-11-27idris-modules: Add docsShea Levy2-0/+42
2015-11-27idris-modules: documentationShea Levy5-9/+43
2015-11-27Add wl-pprint Idris package.Shea Levy2-1/+14
2015-11-27idris-modules: Filter out default.nixShea Levy1-2/+2
2015-11-27idris-modules: Read the filesystem to populate package listShea Levy3-11/+9
2015-11-27Add builtin idris packages to idrisPackagesShea Levy4-10/+82
2015-11-27Add idrisPackages to all-packages.nixShea Levy1-0/+18
2015-11-27Add with-packages wrapper for idrisShea Levy1-0/+38
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-18 18:17:14 +0000