nixpkgs - Downstream nixpkgs tree for Spectrum

	Commit message (Expand)	Author	Age
*	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
\| *	pari_alpha: init at 2.8.0.alpha: planning to use for Sage	Michael Raskin	2016-10-26
\| *	symmetrica: init at 2.0	Michael Raskin	2016-10-26
\| *	ratpoints: init at 2.1.3	Michael Raskin	2016-10-26
* \|	Merge remote-tracking branch 'upstream/master' into HEAD	Frederik Rietdijk	2016-10-22
\|\\|
\| *	treewide: fix meta evaluation	Vladimír Čunát	2016-10-22
\| *	Merge pull request #19666 from veprbl/hep_for_upstream	Jörg Thalheim	2016-10-21
\| \|\
\| \| *	root: s/python/python2/	Dmitry Kalinkin	2016-10-21
\| \| *	root: add veprbl to maintainers	Dmitry Kalinkin	2016-10-21
\| \| *	add veprbl to maintainers	Dmitry Kalinkin	2016-10-21
\| \| *	sacrifice: init at 1.0.0	Dmitry Kalinkin	2016-10-19
\| * \|	yarp: 2.3.65 -> 2.3.66.1	=	2016-10-20
\| \|/
* /	z3: use python2	Frederik Rietdijk	2016-10-18
\|/
*	nix-buffer support improvements.	Shea Levy	2016-10-07
*	treewide: use ocaml.version (#19192)	Kirill Boltaev	2016-10-05
*	Remove redundant -DCMAKE_BUILD_TYPE=Release flags	Aneesh Agrawal	2016-10-01
*	redprl: remove explicit builder	Brian McKenna	2016-09-29