nixpkgs - Downstream nixpkgs tree for Spectrum

	Commit message (Expand)	Author	Age
*	rename all occurrences of stdenv.cc.gcc to stdenv.cc.cc	Eric Seidel	2015-01-14
*	unmaintain a bunch of packages	Ludovic Courtès	2015-01-13
*	matita_130312: mark as broken	Pavan Rikhi	2015-01-07
*	abc: export buildFlags in the preBuild	John Wiegley	2015-01-03
*	alt-ergo: update from 0.95.2 to 0.99.1	Vincent Laporte	2014-12-31
*	Change occurrences of gcc to the more general cc	John Wiegley	2014-12-26
*	wxmaxima: update to version 14.12.1	Peter Simons	2014-12-22
*	maxima: update to version 5.35.1	Peter Simons	2014-12-22
*	Fix license attribute of many bsd-like licensed packages	Pascal Wittmann	2014-12-21
*	coq_HEAD: update to latest Git version	John Wiegley	2014-12-19
*	root: fix build by upstream patch	Vladimír Čunát	2014-12-10
*	R: add meta.platforms attribute	Peter Simons	2014-12-03
*	coq_HEAD: update	John Wiegley	2014-11-17
*	hol_light: update from 199 to 205	Vincent Laporte	2014-11-17
*	Merge remote-tracking branch 'origin/master' into staging	Eelco Dolstra	2014-11-11
\|\
\| *	Link Golly against libperl and libpython so it finds them in runtime	Michael Raskin	2014-11-10
* \|	Merge branch 'master' into staging	Luca Bruno	2014-11-10
\|\\|
\| *	vite: fix and update package	Mateusz Kowalczyk	2014-11-09
* \|	Merge branch 'master' into staging	Luca Bruno	2014-11-08
\|\\|
\| *	zarith: propagate build input gmp	Vincent Laporte	2014-11-07
\| *	Adds some “branch” meta-data	Vincent Laporte	2014-11-06
* \|	Merge remote-tracking branch 'origin/master' into staging	Eelco Dolstra	2014-11-06
\|\\|
\| *	wxmaxima: update from 13.04.2 to 14.09.0	Vincent Laporte	2014-11-06
\| *	Turn more licenses into lib.licenses style	Mateusz Kowalczyk	2014-11-06
* \|	Merge recent master into staging	Vladimír Čunát	2014-11-05
\|\\|
\| *	Add mirrors for sage	Joachim Fasting	2014-11-03
\| *	Merge pull request #4238 from wkennington/master.boost	Peter Simons	2014-11-03
\| \|\
\| \| *	boost: Remove boost.lib	William A. Kennington III	2014-11-02
\| * \|	coq_HEAD: update to latest commit	John Wiegley	2014-11-03
\| * \|	coq: 8.4pl4 -> 8.4pl5	John Wiegley	2014-11-03
\| * \|	Merge pull request #4788 from joachifm/sage	Peter Simons	2014-11-03
\| \|\ \ \| \| \|/ \| \|/\|
\| \| *	sage: fix download url for version 6.1.1	Joachim Fasting	2014-11-02
\| \| *	sage: fix meta information	Joachim Fasting	2014-11-02
* \| \|	iconv: remove usage on Linux in several packages	Vladimír Čunát	2014-11-03
* \| \|	Merge remote-tracking branch 'origin/master' into staging.	Peter Simons	2014-11-02
\|\\| \|
\| * \|	R: run the test suite only when recommended packages are built	Peter Simons	2014-11-01
\| * \|	R: update to version R-3.1.2	Peter Simons	2014-11-01
* \| \|	Merge remote-tracking branch 'origin/master' into staging.	Peter Simons	2014-10-31
\|\\| \|
\| * \|	Updating qucs to 0.18	Lluís Batlle i Rossell	2014-10-29
\| * \|	Added acgtk-1.1	Jiri Marsik	2014-10-28
\| \|/
* \|	Merge remote-tracking branch 'origin/master' into staging	Eelco Dolstra	2014-10-16
\|\\|
\| *	Merge pull request #4456 from robberer/pkgs/fritzing	Jaka Hudoklin	2014-10-12
\| \|\
\| \| *	fritzing: add version 0.9.0b	Longrin Wischnewski	2014-10-10
\| * \|	cvc4: new derivation	Vincent Laporte	2014-10-12
\| * \|	why3: update from 0.83 to 0.85	Vincent Laporte	2014-10-12
\| * \|	xplanet: fix giflib update	Domen Kožar	2014-10-11
\| * \|	maxima: update from 5.33.0 to 5.34.1	Vincent Laporte	2014-10-10
\| \|/
\| *	coq_HEAD: Update	John Wiegley	2014-10-09
* \|	Merge remote-tracking branch 'origin/master' into staging	Eelco Dolstra	2014-10-07
\|\\|
\| *	haskell-sloane: update to version 1.9.3	Peter Simons	2014-10-06