summaryrefslogtreecommitdiffstats
path: root/pkgs/development/idris-modules
AgeCommit message (Expand)Author
2016-12-20idrisPackages.httpclient: initMárton Boros
2016-09-29Merge pull request #19003 from siddharthist/lightyear/initJörg Thalheim
2016-09-28wl-pprint: update to 2016-09-28Langston Barrett
2016-09-27lightyear: init at 9420f9eLangston Barrett
2016-09-27idris-modules: pkgs.gnome is now pkgs.gnome2.Shea Levy
2015-11-28idris-wl-pprint: Use fetchFromGitHubShea Levy
2015-11-27idris-modules: Add docsShea Levy
2015-11-27idris-modules: documentationShea Levy
2015-11-27Add wl-pprint Idris package.Shea Levy
2015-11-27idris-modules: Filter out default.nixShea Levy
2015-11-27idris-modules: Read the filesystem to populate package listShea Levy
2015-11-27Add builtin idris packages to idrisPackagesShea Levy
2015-11-27Add idrisPackages to all-packages.nixShea Levy
2015-11-27Add with-packages wrapper for idrisShea Levy
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-21 00:28:52 +0000