mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2015-11-28	idris-wl-pprint: Use fetchFromGitHub	Shea Levy	1	-4/+5
2015-11-27	idris-modules: Add docs	Shea Levy	2	-0/+42
2015-11-27	idris-modules: documentation	Shea Levy	5	-9/+43
2015-11-27	Add wl-pprint Idris package.	Shea Levy	2	-1/+14
2015-11-27	idris-modules: Filter out default.nix	Shea Levy	1	-2/+2
2015-11-27	idris-modules: Read the filesystem to populate package list	Shea Levy	3	-11/+9
2015-11-27	Add builtin idris packages to idrisPackages	Shea Levy	4	-10/+82
2015-11-27	Add idrisPackages to all-packages.nix	Shea Levy	1	-0/+18
2015-11-27	Add with-packages wrapper for idris	Shea Levy	1	-0/+38