nixpkgs - Downstream nixpkgs tree for Spectrum

	Commit message (Expand)	Author	Age
...
* \|	idris: fix modules	Márton Boros	2017-12-26
\|/
*	specdris: init at 2017-11-11 (#31544)	Vanessa McHale	2017-11-21
*	Add wrapper for idris exe for gcc/gmp runtime deps	Matthew Pickering	2017-11-02
*	Fix idrisPackages.with-packages	Matthew Pickering	2017-10-30
*	idrisPackages.lightyear: 2016-08-01 -> 2017-09-10	xd1le	2017-10-19
*	Revert "Merge branch 'improved-make-overridable' of git://github.com/ElvishJe...	Shea Levy	2017-09-29
*	Merge branch 'improved-make-overridable' of git://github.com/ElvishJerricco/n...	Shea Levy	2017-09-28
\|\
\| *	Merge branch 'master' into improved-make-overridable	Will Fancher	2017-08-26
\| \|\
\| * \|	Added `overrideScope` for `callPackageWith`	Will Fancher	2017-07-13
* \| \|	treewide: Escape backslash in strings properly	Tuomas Tynkkynen	2017-09-14
\| \|/ \|/\|
* \|	idrisPackages.idris: 1.0 -> 1.1.1	Thomas Tuegel	2017-08-23
* \|	idrisPackages.build-builtin-package: Include version in name	Thomas Tuegel	2017-08-22
\|/
*	idrisPackages.httpclient: init	Márton Boros	2016-12-20
*	Merge pull request #19003 from siddharthist/lightyear/init	Jörg Thalheim	2016-09-29
\|\
\| *	lightyear: init at 9420f9e	Langston Barrett	2016-09-27
* \|	wl-pprint: update to 2016-09-28	Langston Barrett	2016-09-28
\|/
*	idris-modules: pkgs.gnome is now pkgs.gnome2.	Shea Levy	2016-09-27
*	idris-wl-pprint: Use fetchFromGitHub	Shea Levy	2015-11-28
*	idris-modules: Add docs	Shea Levy	2015-11-27
*	idris-modules: documentation	Shea Levy	2015-11-27
*	Add wl-pprint Idris package.	Shea Levy	2015-11-27
*	idris-modules: Filter out default.nix	Shea Levy	2015-11-27
*	idris-modules: Read the filesystem to populate package list	Shea Levy	2015-11-27
*	Add builtin idris packages to idrisPackages	Shea Levy	2015-11-27
*	Add idrisPackages to all-packages.nix	Shea Levy	2015-11-27
*	Add with-packages wrapper for idris	Shea Levy	2015-11-27