nixos/nixpkgs - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Expand)	Author	Age	Files	Lines
*	idrisPackages.idris: 1.0 -> 1.1.1	Thomas Tuegel	2017-08-23	2	-8/+12
*	idrisPackages.build-builtin-package: Include version in name	Thomas Tuegel	2017-08-22	1	-2/+6
*	idrisPackages.httpclient: init	Márton Boros	2016-12-20	1	-0/+30
*	Merge pull request #19003 from siddharthist/lightyear/init•••lightyear: init at 9420f9e	Jörg Thalheim	2016-09-29	1	-0/+32
\|\
\| *	lightyear: init at 9420f9e	Langston Barrett	2016-09-27	1	-0/+32
* \|	wl-pprint: update to 2016-09-28	Langston Barrett	2016-09-28	1	-7/+9
\|/
*	idris-modules: pkgs.gnome is now pkgs.gnome2.•••Fixes #18998. Closes #19002.	Shea Levy	2016-09-27	1	-1/+1
*	idris-wl-pprint: Use fetchFromGitHub	Shea Levy	2015-11-28	1	-4/+5
*	idris-modules: Add docs	Shea Levy	2015-11-27	2	-0/+42
*	idris-modules: documentation	Shea Levy	2015-11-27	5	-9/+43
*	Add wl-pprint Idris package.	Shea Levy	2015-11-27	2	-1/+14
*	idris-modules: Filter out default.nix	Shea Levy	2015-11-27	1	-2/+2
*	idris-modules: Read the filesystem to populate package list	Shea Levy	2015-11-27	3	-11/+9
*	Add builtin idris packages to idrisPackages	Shea Levy	2015-11-27	4	-10/+82
*	Add idrisPackages to all-packages.nix	Shea Levy	2015-11-27	1	-0/+18
*	Add with-packages wrapper for idris	Shea Levy	2015-11-27	1	-0/+38