nixpkgs - Downstream nixpkgs tree for Spectrum

	Commit message (Expand)	Author	Age
*	R: update to version 3.1.3	Peter Simons	2015-03-09
*	Update pari	Michael Raskin	2015-03-09
*	Updating gtkwave to 3.3.64	Lluís Batlle i Rossell	2015-02-26
*	Merge pull request #6338 from DamienCassou/plm-2.5	Damien Cassou	2015-02-20
\|\
\| *	New package PLM: Programmer's Learning Machine	Damien Cassou	2015-02-13
* \|	Merge remote-tracking branch 'origin/staging'	Shea Levy	2015-02-17
\|\ \
\| * \	Merge remote-tracking branch 'master' into staging.	Peter Simons	2015-02-13
\| \|\ \
\| * \| \|	kill libiconvOr*	Eric Seidel	2015-02-07
* \| \| \|	Update HOL Light to r218	Marco	2015-02-17
\| \|/ / \|/\| \|
* \| \|	Updating weka to 3.6.12.	Lluís Batlle i Rossell	2015-02-13
\|/ /
* \|	Merge commit 'cfb29ab882323d379aba20a95020c7c24f883eae'	Shea Levy	2015-02-02
\|\ \ \| \|/ \|/\|
\| *	rename <gcc-frontend>.gcc to <gcc-frontend>.cc	Eric Seidel	2015-01-14
\| *	rename occurrences of gcc.gcc to gcc.cc	Eric Seidel	2015-01-14
\| *	rename all occurrences of stdenv.cc.gcc to stdenv.cc.cc	Eric Seidel	2015-01-14
* \|	Why3: build also the Coq tactic.	Vincent Laporte	2015-01-29
* \|	stellarium: update from 0.12.4 to 0.13.2	Peter Simons	2015-01-27
* \|	gravit: update from 0.5.0 to 0.5.1	Peter Simons	2015-01-27
* \|	pspp: update from 0.8.2 to 0.8.3	Peter Simons	2015-01-27
* \|	nixpkgs: z3 4.3.1 -> 4.3.2	Austin Seipp	2015-01-23
\|/
*	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