nixpkgs - Downstream nixpkgs tree for Spectrum

	Commit message (Expand)	Author	Age
*	fityk: 1.3.0 -> 1.3.1	Pascal Wittmann	2017-01-01
*	lean: 2016-12-08 -> 2016-12-30	Gabriel Ebner	2016-12-31
*	sherpa: init at 2.2.1	Dmitry Kalinkin	2016-12-30
*	Merge pull request #21221 from rardiol/gplates	Michael Raskin	2016-12-28
\|\
\| *	gplates: init at 2.0.0	Ricardo Ardissone	2016-12-16
* \|	igv: 2.3.77 -> 2.3.89	mimadrid	2016-12-23
* \|	coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect	John Wiegley	2016-12-22
* \|	freebayes: init at 1.1.0	Jason Daniel Augustine Gilliland	2016-12-22
* \|	stellarium: 0.14.3 -> 0.15.0	ft@zeus	2016-12-21
* \|	coq_8_6: 8.6rc1 -> 8.6	John Wiegley	2016-12-14
* \|	coq_HEAD: Update to the latest commit as of 2016-12-13	John Wiegley	2016-12-13
* \|	coq_8_6: new package, based on Coq 8.6rc1	John Wiegley	2016-12-13
* \|	minisat: Fix build on Darwin	Eelco Dolstra	2016-12-09
* \|	lean: init at 2016-12-08	Gabriel Ebner	2016-12-08
* \|	lean2: 2016-07-05 -> 2016-11-29	Gabriel Ebner	2016-12-08
* \|	pari: 2.9.0 -> 2.9.1	Michael Raskin	2016-12-08
* \|	hol_light: fix build with Camlp5-6.17	Vincent Laporte	2016-11-29
* \|	yarp: 2.3.66.1 -> 2.3.68	Nicolò Balzarotti	2016-11-28
* \|	Merge pull request #20672 from AndersonTorres/pari	Michael Raskin	2016-11-26
\|\ \ \| \|/ \|/\|
\| *	pari/gp: 2.7.6 -> 2.9.0	AndersonTorres	2016-11-24
* \|	[mathematica] 10.0.2 -> 11.0.1	Ole Krüger	2016-11-25
\|/
*	Merge #20264: root: fix environment setup	Vladimír Čunát	2016-11-14
\|\
\| *	root: fix environment setup	Dmitry Kalinkin	2016-10-29
* \|	plink-ng: init at 1.90b3	Justin Bedo	2016-11-14
* \|	coq: Improve emacs buffer handling	Shea Levy	2016-11-13
* \|	nixpkgs: proverif 1.94 -> 1.95	Austin Seipp	2016-11-10
* \|	Merge pull request #20267 from jbedo/master	Frederik Rietdijk	2016-11-09
\|\ \
\| * \|	Fix bcftools installation prefix	Justin Bedo	2016-11-09
* \| \|	z3: 4.4.1 -> 4.5.0	Gabriel Ebner	2016-11-08
\|/ /
* \|	Remove pal2nal	Tim Steinbach	2016-11-03
* \|	paml: 4.2a -> 4.9c	Tim Steinbach	2016-11-03
* \|	coq-8.5: ease the selection of an older (patch level) version	Vincent Laporte	2016-11-02
* \|	coq: build and install the votour utility	Vincent Laporte	2016-11-02
* \|	coq: 8.5pl2 -> 8.5pl3	Vincent Laporte	2016-11-02
* \|	Merge pull request #19902 from dtzWill/update/yices	vbgl	2016-10-31
\|\ \ \| \|/ \|/\|
\| *	yices: Add darwin to meta.platforms	Will Dietz	2016-10-30
\| *	yices: Build in parallel, run tests, fix test shebang.	Will Dietz	2016-10-26
\| *	yices: fix install target by using 'true' as ldconfig	Will Dietz	2016-10-26
\| *	yices: 2.3.1 -> 2.5.1	Will Dietz	2016-10-26
* \|	pari-unstable: 2.8.0 -> 2.8.1, "alpha" -> "unstable".	Ertugrul Söylemez	2016-10-27
* \|	pari_alpha: fix source link	Michael Raskin	2016-10-27
\|/
*	Merge remote-tracking branch 'upstream/master' into HEAD	Frederik Rietdijk	2016-10-26
\|\
\| *	maxima: support building with ECL; optionally support building maxima.fas whe...	Michael Raskin	2016-10-26
\| *	singular: Wrap executables instead of symlinking	Michael Raskin	2016-10-26
\| *	singular: add an option to install as libsingular	Michael Raskin	2016-10-26
\| *	pari_alpha: use perl to generate function descriptions	Michael Raskin	2016-10-26
\| *	singular: 3-1-2 -> 3-1-7	Michael Raskin	2016-10-26
\| *	R: 3.2.3 -> 3.2.4	Michael Raskin	2016-10-26
\| *	nauty: init at 26r7	Michael Raskin	2016-10-26
\| *	gfan: init at 0.5	Michael Raskin	2016-10-26